2015-03-12 04:24:39 +00:00
|
|
|
CONFIG_ARM=y
|
|
|
|
CONFIG_TARGET_XFI3=y
|
2016-09-13 05:18:39 +00:00
|
|
|
CONFIG_SPL_GPIO_SUPPORT=y
|
2016-09-13 05:18:41 +00:00
|
|
|
CONFIG_SPL_LIBCOMMON_SUPPORT=y
|
2016-09-13 05:18:43 +00:00
|
|
|
CONFIG_SPL_LIBGENERIC_SUPPORT=y
|
2016-09-13 05:18:56 +00:00
|
|
|
CONFIG_SPL_SERIAL_SUPPORT=y
|
2016-06-07 06:31:14 +00:00
|
|
|
CONFIG_BOOTDELAY=3
|
2016-09-09 06:12:49 +00:00
|
|
|
CONFIG_VERSION_VARIABLE=y
|
2016-10-12 01:33:46 +00:00
|
|
|
# CONFIG_DISPLAY_BOARDINFO is not set
|
2016-09-13 05:18:22 +00:00
|
|
|
CONFIG_SPL=y
|
2016-04-22 01:37:19 +00:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2015-06-22 21:15:30 +00:00
|
|
|
# CONFIG_CMD_IMLS is not set
|
|
|
|
# CONFIG_CMD_FLASH is not set
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_MMC=y
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_USB=y
|
2015-11-11 13:39:33 +00:00
|
|
|
CONFIG_CMD_GPIO=y
|
2015-06-22 21:15:30 +00:00
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_PING=y
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_CACHE=y
|
|
|
|
CONFIG_CMD_EXT2=y
|
|
|
|
CONFIG_CMD_FAT=y
|
2016-04-13 11:20:25 +00:00
|
|
|
CONFIG_USB=y
|
|
|
|
CONFIG_USB_GADGET=y
|
|
|
|
CONFIG_CI_UDC=y
|
2016-02-23 05:55:42 +00:00
|
|
|
CONFIG_OF_LIBFDT=y
|