diff options
Diffstat (limited to 'arch/arm/mm/Kconfig')
| -rw-r--r-- | arch/arm/mm/Kconfig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/arm/mm/Kconfig b/arch/arm/mm/Kconfig index 5bd7c89a6045..d3022dabb4aa 100644 --- a/arch/arm/mm/Kconfig +++ b/arch/arm/mm/Kconfig | |||
| @@ -572,6 +572,8 @@ config CPU_TLB_V6 | |||
| 572 | config CPU_TLB_V7 | 572 | config CPU_TLB_V7 |
| 573 | bool | 573 | bool |
| 574 | 574 | ||
| 575 | config VERIFY_PERMISSION_FAULT | ||
| 576 | bool | ||
| 575 | endif | 577 | endif |
| 576 | 578 | ||
| 577 | config CPU_HAS_ASID | 579 | config CPU_HAS_ASID |