13 lines
168 B
Plaintext
13 lines
168 B
Plaintext
menu "Memory Management options"
|
|
|
|
config HAVE_MMU
|
|
bool
|
|
config HAVE_MMU_GENERIC
|
|
bool
|
|
config HAVE_MMU_SPLIT_ROOT
|
|
bool
|
|
config HAVE_TLB_SHOOTDOWN_IPI
|
|
bool
|
|
|
|
endmenu
|