# Unset CONFIG_MMU
# CONFIG_MMU is not set
CONFIG_EXT4_FS=m
CONFIG_PGTABLE_LEVELS=4
CONFIG_DEFAULT_HOSTNAME="(none)"