3 CONFIG_SYS_TEXT_BASE=0x97800000
6 CONFIG_ENV_OFFSET=0xC0000
7 CONFIG_TARGET_MX51EVK=y
8 CONFIG_SYS_MALLOC_LEN=0xa00000
10 CONFIG_DEFAULT_DEVICE_TREE="imx51-babbage"
11 # CONFIG_CMD_BMODE is not set
12 CONFIG_SYS_LOAD_ADDR=0x92000000
14 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
15 CONFIG_SYS_CONSOLE_OVERWRITE_ROUTINE=y
21 # CONFIG_CMD_PINMUX is not set
24 # CONFIG_CMD_SETEXPR is not set
31 CONFIG_ENV_OVERWRITE=y
32 CONFIG_ENV_IS_IN_MMC=y
33 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
35 CONFIG_FSL_ESDHC_IMX=y
46 CONFIG_DM_REGULATOR_FIXED=y
47 CONFIG_DM_REGULATOR_GPIO=y
54 CONFIG_USB_HOST_ETHER=y
55 CONFIG_USB_ETHER_ASIX=y
56 CONFIG_USB_ETHER_SMSC95XX=y
57 CONFIG_SYS_WHITE_ON_BLACK=y
58 CONFIG_SPLASH_SCREEN=y