CONFIG_SAMA5D4EK=y
CONFIG_CPU_CLK_528MHZ=y
CONFIG_RAM_512MB=y
CONFIG_SDCARD=y
CONFIG_AT91_MCI1=y
CONFIG_DEBUG=y
# CONFIG_ENTER_NWD is not set
