2016-02-27 19:19:00 +01:00
|
|
|
CONFIG_ARM=y
|
|
|
|
CONFIG_OMAP44XX=y
|
2016-09-19 17:00:58 -04:00
|
|
|
# CONFIG_SPL_NAND_SUPPORT is not set
|
2016-02-27 19:19:00 +01:00
|
|
|
CONFIG_TARGET_KC1=y
|
2016-10-17 20:12:37 -06:00
|
|
|
CONFIG_SYS_CONSOLE_IS_IN_ENV=y
|
2016-02-27 19:19:00 +01:00
|
|
|
CONFIG_SPL=y
|
2016-12-07 22:10:25 +09:00
|
|
|
# CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR is not set
|
2016-04-21 21:37:19 -04:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2016-02-27 19:19:00 +01:00
|
|
|
CONFIG_SYS_PROMPT="kc1 # "
|
2016-04-24 17:29:26 -04:00
|
|
|
CONFIG_CMD_BOOTZ=y
|
2016-02-27 19:19:00 +01:00
|
|
|
# CONFIG_CMD_IMLS is not set
|
|
|
|
# CONFIG_CMD_FLASH is not set
|
2016-04-24 17:29:26 -04:00
|
|
|
CONFIG_CMD_MMC=y
|
2016-04-22 16:41:25 -04:00
|
|
|
CONFIG_CMD_I2C=y
|
2016-02-27 19:19:00 +01:00
|
|
|
# CONFIG_CMD_FPGA is not set
|
|
|
|
CONFIG_CMD_GPIO=y
|
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
2016-04-22 16:41:25 -04:00
|
|
|
CONFIG_CMD_DHCP=y
|
2016-02-27 19:19:00 +01:00
|
|
|
# CONFIG_CMD_NFS is not set
|
2016-04-24 17:29:26 -04:00
|
|
|
CONFIG_CMD_MII=y
|
2016-04-22 16:41:25 -04:00
|
|
|
CONFIG_CMD_PING=y
|
2016-04-24 17:29:26 -04:00
|
|
|
CONFIG_CMD_EXT2=y
|
|
|
|
CONFIG_CMD_EXT4=y
|
|
|
|
CONFIG_CMD_FAT=y
|
|
|
|
CONFIG_CMD_FS_GENERIC=y
|
2017-01-27 11:00:38 +01:00
|
|
|
CONFIG_ISO_PARTITION=y
|
2017-01-10 13:32:07 +09:00
|
|
|
CONFIG_MMC_OMAP_HS=y
|
2016-02-27 19:19:00 +01:00
|
|
|
CONFIG_SYS_NS16550=y
|
2016-02-27 19:19:06 +01:00
|
|
|
CONFIG_USB=y
|
|
|
|
CONFIG_USB_MUSB_GADGET=y
|
2016-03-25 16:39:47 +02:00
|
|
|
CONFIG_USB_GADGET=y
|
2016-04-13 14:20:26 +03:00
|
|
|
CONFIG_USB_GADGET_DOWNLOAD=y
|
2016-04-13 14:20:30 +03:00
|
|
|
CONFIG_G_DNL_MANUFACTURER="Texas Instruments"
|
|
|
|
CONFIG_G_DNL_VENDOR_NUM=0x0451
|
|
|
|
CONFIG_G_DNL_PRODUCT_NUM=0xd022
|
2016-03-29 14:16:23 +02:00
|
|
|
CONFIG_OF_LIBFDT=y
|