| commit | 2a438ffa74c0f3b718dc71ac59fbdce5f2e352e4 | [log] [tgz] |
|---|---|---|
| author | Julien Thierry <julien.thierry@arm.com> | Tue Jun 11 10:38:13 2019 +0100 |
| committer | Catalin Marinas <catalin.marinas@arm.com> | Fri Jun 21 15:50:23 2019 +0100 |
| tree | c1e9599430a59d0ed9f1082d881cd805bd48469f | |
| parent | e1d22385ea6686ff3dcd7092d84465c193849829 [diff] |
arm64: Allow selecting Pseudo-NMI again
Now that Pseudo-NMI are fixed, allow the use of that option again
This reverts commit 96a13f57b946be7a6c10405e4bd780c0b6b6fe63 ("arm64:
Kconfig: Make ARM64_PSEUDO_NMI depend on BROKEN for now").
Cc: Will Deacon <will.deacon@arm.com>
Reviewed-by: Marc Zyngier <marc.zyngier@arm.com>
Signed-off-by: Julien Thierry <julien.thierry@arm.com>
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>