2015-02-02 14:35:28 +00:00
|
|
|
CONFIG_X86=y
|
2015-04-27 15:22:24 +00:00
|
|
|
CONFIG_VENDOR_INTEL=y
|
2015-05-12 19:46:24 +00:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="galileo"
|
2015-02-02 14:35:28 +00:00
|
|
|
CONFIG_TARGET_GALILEO=y
|
2015-06-22 21:15:29 +00:00
|
|
|
CONFIG_GENERATE_PIRQ_TABLE=y
|
2016-05-22 08:45:36 +00:00
|
|
|
CONFIG_GENERATE_MP_TABLE=y
|
2016-05-26 02:19:12 +00:00
|
|
|
CONFIG_GENERATE_ACPI_TABLE=y
|
2016-02-23 05:55:43 +00:00
|
|
|
CONFIG_FIT=y
|
2016-02-23 05:55:40 +00:00
|
|
|
CONFIG_BOOTSTAGE=y
|
|
|
|
CONFIG_BOOTSTAGE_REPORT=y
|
2016-10-18 02:13:00 +00:00
|
|
|
CONFIG_SYS_CONSOLE_INFO_QUIET=y
|
2016-04-22 01:37:19 +00:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2016-05-22 08:45:30 +00:00
|
|
|
CONFIG_CMD_CPU=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
|
2017-01-27 10:00:42 +00:00
|
|
|
CONFIG_CMD_PART=y
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_SF=y
|
|
|
|
CONFIG_CMD_SPI=y
|
|
|
|
CONFIG_CMD_USB=y
|
2015-11-11 13:39:33 +00:00
|
|
|
CONFIG_CMD_GPIO=y
|
2017-08-04 22:34:34 +00:00
|
|
|
CONFIG_CMD_PCI=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_DHCP=y
|
2015-06-22 21:15:30 +00:00
|
|
|
# CONFIG_CMD_NFS is not set
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_PING=y
|
|
|
|
CONFIG_CMD_TIME=y
|
2015-06-22 21:15:29 +00:00
|
|
|
CONFIG_CMD_BOOTSTAGE=y
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_EXT2=y
|
|
|
|
CONFIG_CMD_EXT4=y
|
|
|
|
CONFIG_CMD_EXT4_WRITE=y
|
|
|
|
CONFIG_CMD_FAT=y
|
|
|
|
CONFIG_CMD_FS_GENERIC=y
|
2017-01-27 10:00:36 +00:00
|
|
|
CONFIG_MAC_PARTITION=y
|
2017-01-27 10:00:38 +00:00
|
|
|
CONFIG_ISO_PARTITION=y
|
2017-01-27 10:00:41 +00:00
|
|
|
CONFIG_EFI_PARTITION=y
|
2016-03-21 13:47:40 +00:00
|
|
|
CONFIG_NET_RANDOM_ETHADDR=y
|
2016-03-12 05:07:14 +00:00
|
|
|
CONFIG_REGMAP=y
|
|
|
|
CONFIG_SYSCON=y
|
2016-05-22 08:45:30 +00:00
|
|
|
CONFIG_CPU=y
|
2016-09-08 20:31:26 +00:00
|
|
|
CONFIG_USB_STORAGE=y
|
2016-10-18 02:13:01 +00:00
|
|
|
CONFIG_USB_KEYBOARD=y
|