CONFIG_ARCH_IMX=y
CONFIG_ARCH_IMX_IMXIMAGE=y
CONFIG_ARCH_IMX_XLOAD=y

CONFIG_ARCH_IMX51=y
CONFIG_IMX_MULTI_BOARDS=y
CONFIG_MACH_FREESCALE_MX51_PDK=y

CONFIG_THUMB2_BAREBOX=y
# CONFIG_CMD_ARM_CPUINFO is not set
CONFIG_ARM_OPTIMZED_STRING_FUNCTIONS=y
CONFIG_MMU=y
CONFIG_TEXT_BASE=0x0
CONFIG_MALLOC_SIZE=0x0
CONFIG_MALLOC_DUMMY=y
CONFIG_RELOCATABLE=y
CONFIG_BAUDRATE=115200
CONFIG_SHELL_NONE=y

CONFIG_DEBUG_LL=y
CONFIG_DEBUG_IMX51_UART=y
CONFIG_DEBUG_IMX_UART_PORT=1

CONFIG_HAS_DEBUG_LL=y

CONFIG_MTD=y
# CONFIG_MTD_WRITE is not set
CONFIG_MTD_DATAFLASH=y

# CONFIG_ERRNO_MESSAGES is not set
# CONFIG_TIMESTAMP is not set
# CONFIG_DEFAULT_ENVIRONMENT is not set
CONFIG_DRIVER_SERIAL_IMX=y

CONFIG_MCI=y
CONFIG_MCI_STARTUP=y
# CONFIG_MCI_WRITE is not set

CONFIG_MCI_IMX_ESDHC=y

CONFIG_EEPROM_AT25=y

CONFIG_WATCHDOG_IMX_RESET_SOURCE=y
CONFIG_WATCHDOG=y
CONFIG_WATCHDOG_IMX=y

# CONFIG_FS_RAMFS is not set
# CONFIG_FS_DEVFS is not set
CONFIG_FS_FAT=y
CONFIG_BOOTSTRAP=y
CONFIG_BOOTSTRAP_DISK=y
CONFIG_BOOTSTRAP_DEVFS=y