2014-07-30 14:08:14 +09:00
|
|
|
CONFIG_ARM=y
|
|
|
|
CONFIG_TARGET_DEVKIT3250=y
|
2016-09-13 14:18:41 +09:00
|
|
|
CONFIG_SPL_LIBCOMMON_SUPPORT=y
|
2016-09-13 14:18:43 +09:00
|
|
|
CONFIG_SPL_LIBGENERIC_SUPPORT=y
|
2016-09-13 14:18:56 +09:00
|
|
|
CONFIG_SPL_NAND_SUPPORT=y
|
|
|
|
CONFIG_SPL_SERIAL_SUPPORT=y
|
2016-12-07 22:10:26 +09:00
|
|
|
# CONFIG_MMC is not set
|
2016-06-13 22:45:14 +09:00
|
|
|
CONFIG_BOOTDELAY=1
|
2016-09-09 15:12:49 +09:00
|
|
|
CONFIG_VERSION_VARIABLE=y
|
2016-10-12 10:33:46 +09:00
|
|
|
# CONFIG_DISPLAY_BOARDINFO is not set
|
2017-01-24 05:31:20 +09:00
|
|
|
CONFIG_BOARD_EARLY_INIT_F=y
|
2016-09-13 14:18:22 +09:00
|
|
|
CONFIG_SPL=y
|
|
|
|
CONFIG_SPL_SYS_MALLOC_SIMPLE=y
|
2016-04-23 05:41:25 +09:00
|
|
|
CONFIG_CMD_SPI=y
|
|
|
|
CONFIG_CMD_I2C=y
|
|
|
|
CONFIG_CMD_USB=y
|
2015-07-18 07:47:10 +09:00
|
|
|
# CONFIG_CMD_FPGA is not set
|
2015-11-11 22:39:33 +09:00
|
|
|
CONFIG_CMD_GPIO=y
|
2015-06-23 06:15:30 +09:00
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
2016-04-23 05:41:25 +09:00
|
|
|
CONFIG_CMD_DHCP=y
|
2016-04-25 06:29:26 +09:00
|
|
|
CONFIG_CMD_MII=y
|
2016-04-23 05:41:25 +09:00
|
|
|
CONFIG_CMD_PING=y
|
2016-04-25 06:29:26 +09:00
|
|
|
CONFIG_CMD_CACHE=y
|
|
|
|
CONFIG_CMD_FAT=y
|
2015-07-18 07:47:10 +09:00
|
|
|
CONFIG_DM=y
|
2016-09-09 05:11:59 +09:00
|
|
|
CONFIG_SPL_DM=y
|
|
|
|
CONFIG_DM_GPIO=y
|
|
|
|
CONFIG_DM_SERIAL=y
|
2015-11-19 22:48:14 +09:00
|
|
|
CONFIG_SYS_NS16550=y
|
2016-09-09 05:31:26 +09:00
|
|
|
CONFIG_USB=y
|
|
|
|
CONFIG_USB_STORAGE=y
|
2016-02-23 14:55:42 +09:00
|
|
|
CONFIG_OF_LIBFDT=y
|