CONFIG_AT91SAM9X5EK=y
CONFIG_RAM_128MB=y
# CONFIG_DATAFLASH_RECOVERY is not set
CONFIG_LOAD_LINUX=y
CONFIG_DEBUG=y
CONFIG_THUMB=y
CONFIG_SCLK=y
CONFIG_LOAD_ONE_WIRE=y
