2015-03-12 13:24:39 +09:00
|
|
|
CONFIG_ARM=y
|
|
|
|
CONFIG_TARGET_XFI3=y
|
2016-09-13 14:18:39 +09:00
|
|
|
CONFIG_SPL_GPIO_SUPPORT=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_SERIAL_SUPPORT=y
|
2016-10-18 11:12:40 +09:00
|
|
|
CONFIG_VIDEO=y
|
2016-06-07 15:31:14 +09:00
|
|
|
CONFIG_BOOTDELAY=3
|
2016-10-18 11:12:37 +09:00
|
|
|
# CONFIG_CONSOLE_MUX is not set
|
|
|
|
CONFIG_SYS_CONSOLE_IS_IN_ENV=y
|
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:21 +09:00
|
|
|
CONFIG_ARCH_MISC_INIT=y
|
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
|
2016-04-22 10:37:19 +09:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2015-06-23 06:15:30 +09:00
|
|
|
# CONFIG_CMD_IMLS is not set
|
|
|
|
# CONFIG_CMD_FLASH is not set
|
2016-04-25 06:29:26 +09:00
|
|
|
CONFIG_CMD_MMC=y
|
2016-04-23 05:41:25 +09:00
|
|
|
CONFIG_CMD_USB=y
|
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_PING=y
|
2016-04-25 06:29:26 +09:00
|
|
|
CONFIG_CMD_CACHE=y
|
|
|
|
CONFIG_CMD_EXT2=y
|
|
|
|
CONFIG_CMD_FAT=y
|
2017-01-10 13:32:07 +09:00
|
|
|
CONFIG_MMC_MXS=y
|
2016-04-13 20:20:25 +09:00
|
|
|
CONFIG_USB=y
|
2017-05-13 11:33:28 +09:00
|
|
|
CONFIG_USB_EHCI_HCD=y
|
2016-04-13 20:20:25 +09:00
|
|
|
CONFIG_USB_GADGET=y
|
|
|
|
CONFIG_CI_UDC=y
|
2016-02-23 14:55:42 +09:00
|
|
|
CONFIG_OF_LIBFDT=y
|