arch: mmu: do not make MMU user configurable
MMU option is selected by the MMU implementation, i.e. X86_MMU or ARM_MMU selects MMU. Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
parent
a8ce2dbe15
commit
e43fa18e4d
1 changed files with 5 additions and 2 deletions
|
@ -98,8 +98,10 @@ config KERNEL_DIRECT_MAP
|
|||
|
||||
endif # KERNEL_VM_SUPPORT
|
||||
|
||||
menuconfig MMU
|
||||
bool "MMU features"
|
||||
menu "MMU Features"
|
||||
|
||||
config MMU
|
||||
bool
|
||||
depends on CPU_HAS_MMU
|
||||
select KERNEL_VM_SUPPORT
|
||||
help
|
||||
|
@ -206,6 +208,7 @@ config DEMAND_PAGING_TIMING_HISTOGRAM_NUM_BINS
|
|||
|
||||
endif # DEMAND_PAGING
|
||||
endif # MMU
|
||||
endmenu
|
||||
|
||||
config KERNEL_VM_USE_CUSTOM_MEM_RANGE_CHECK
|
||||
bool
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue