CONFIG_AT91SAM9X5_ARIETTA=y
CONFIG_RAM_256MB=y
CONFIG_SDCARD=y
CONFIG_LOAD_LINUX=y
CONFIG_OVERRIDE_CMDLINE=y
CONFIG_IMAGE_NAME="zImage"
CONFIG_DEBUG=y
CONFIG_THUMB=y
# CONFIG_SCLK is not set
# CONFIG_LOAD_ONE_WIRE is not set
