arm64: Allow selecting Pseudo-NMI again
authorJulien Thierry <julien.thierry@arm.com>
Tue, 11 Jun 2019 09:38:13 +0000 (10:38 +0100)
committerCatalin Marinas <catalin.marinas@arm.com>
Fri, 21 Jun 2019 14:50:23 +0000 (15:50 +0100)
commit2a438ffa74c0f3b718dc71ac59fbdce5f2e352e4
treec1e9599430a59d0ed9f1082d881cd805bd48469f
parente1d22385ea6686ff3dcd7092d84465c193849829
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>
arch/arm64/Kconfig