CONFIG_AT91SAM9N12EK=y
CONFIG_RAM_128MB=y
CONFIG_NANDFLASH=y
# CONFIG_PMECC_AUTO_DETECT is not set
CONFIG_LOAD_LINUX=y
CONFIG_DEBUG=y
CONFIG_THUMB=y
CONFIG_SCLK=y
