menu "Memory Management options"

config HAVE_MMU
  bool
config HAVE_MMU_GENERIC
  bool

endmenu
