blob: d05154ee0a61d554d41aad4e355ea82538450218 [file] [log] [blame]
Bin Mengafee3fb2015-02-02 22:35:28 +08001CONFIG_X86=y
Bin Meng65c4ac02015-04-27 23:22:24 +08002CONFIG_VENDOR_INTEL=y
Joe Hershbergerbd328eb2015-05-12 14:46:24 -05003CONFIG_DEFAULT_DEVICE_TREE="galileo"
Bin Mengafee3fb2015-02-02 22:35:28 +08004CONFIG_TARGET_GALILEO=y
Joe Hershbergerc9bb9422015-06-22 16:15:29 -05005CONFIG_GENERATE_PIRQ_TABLE=y
Joe Hershbergeref0f2f52015-06-22 16:15:30 -05006# CONFIG_CMD_IMLS is not set
7# CONFIG_CMD_FLASH is not set
8# CONFIG_CMD_SETEXPR is not set
9# CONFIG_CMD_NFS is not set
Joe Hershbergerc9bb9422015-06-22 16:15:29 -050010CONFIG_BOOTSTAGE=y
11CONFIG_BOOTSTAGE_REPORT=y
12CONFIG_CMD_BOOTSTAGE=y
Bin Mengafee3fb2015-02-02 22:35:28 +080013CONFIG_OF_CONTROL=y
Joe Hershbergerc9bb9422015-06-22 16:15:29 -050014CONFIG_SPI_FLASH=y
15CONFIG_NETDEVICES=y
Simon Glassef48f6d2015-04-05 16:07:34 -060016CONFIG_ETH_DESIGNWARE=y
Bin Meng31b5aeb2015-09-03 05:37:26 -070017CONFIG_DM_PCI=y
Bin Meng93f8a312015-07-15 16:23:39 +080018CONFIG_DM_RTC=y
Bin Mengd43e8162015-09-03 05:37:28 -070019CONFIG_USB=y
20CONFIG_DM_USB=y
Joe Hershbergerc9bb9422015-06-22 16:15:29 -050021CONFIG_USE_PRIVATE_LIBGCC=y
22CONFIG_SYS_VSNPRINTF=y