diff options
| author | Julien Thierry <[email protected]> | 2019-06-11 10:38:13 +0100 |
|---|---|---|
| committer | Catalin Marinas <[email protected]> | 2019-06-21 15:50:23 +0100 |
| commit | 2a438ffa74c0f3b718dc71ac59fbdce5f2e352e4 (patch) | |
| tree | c1e9599430a59d0ed9f1082d881cd805bd48469f /scripts/gcc-plugins/gcc-generate-rtl-pass.h | |
| 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 <[email protected]>
Reviewed-by: Marc Zyngier <[email protected]>
Signed-off-by: Julien Thierry <[email protected]>
Signed-off-by: Catalin Marinas <[email protected]>
Diffstat (limited to 'scripts/gcc-plugins/gcc-generate-rtl-pass.h')
0 files changed, 0 insertions, 0 deletions