/*
 * Automatically generated C config: don't edit
 * Mon Jul 21 09:25:25 2014
 */
#define CONFIG_DEBUG_INFO 1
#define CONFIG_LOAD_ONE_WIRE 1
#define CONFIG_LOAD_UBOOT 1
#define CONFIG_CPU_CLK_528MHZ 1
#define SAMA5D3X 1
#define CONFIG_PROJECT "sdcard"
#define CONFIG_DDRC 1
#define CONFIG_TOP_OF_MEMORY "0x310000"
#define CONFIG_CRYSTAL "CRYSTAL_12_000MHZ"
#define CONFIG_SCLK 1
#define CONFIG_HW_INIT 1
#define CONFIG_RAM_64MB 1
#define ALLOW_HSMCI 1
#define CONFIG_BOOTSTRAP_MAXSIZE "65536"
#define ALLOW_DATAFLASH 1
#define CONFIG_HAS_PIO3 1
#define ALLOW_NANDFLASH 1
#define CONFIG_DEBUG 1
#define HAVE_DOT_CONFIG 1
#define CONFIG_SDDRC 1
#define CONFIG_FATFS 1
#define CONFIG_MMC_SUPPORT 1
#define ALLOW_SDCARD 1
#define CONFIG_HVM200 1
#define CONFIG_BOARDNAME "HVM200"
#define ALLOW_CRYSTAL_12_000MHZ 1
#define ALLOW_BOOT_FROM_DATAFLASH_CS0 1
#define CONFIG_BUS_SPEED_133MHZ 1
#define CONFIG_DISABLE_WATCHDOG 1
#define CONFIG_LINK_ADDR "0x300000"
#define CONFIG_SDCARD_HS 1
#define CONFIG_SDCARD 1
#define CONFIG_JUMP_ADDR "0x26F00000"
#define CONFIG_MACH_TYPE "9999"
#define CONFIG_CRYSTAL_12_000MHZ 1
#define CONFIG_LONG_FILENAME 1
#define ALLOW_CPU_CLK_332MHZ 1
#define CPU_HAS_PMECC 1
#define ALLOW_CPU_CLK_266MHZ 1
#define ALLOW_CPU_CLK_528MHZ 1
#define CONFIG_MEMORY "sdcard"
#define ALLOW_CPU_CLK_396MHZ 1
#define ALLOW_CPU_CLK_498MHZ 1
#define CONFIG_IMAGE_NAME "u-boot.bin"
#define ALLOW_PIO3 1
