blob: d05154ee0a61d554d41aad4e355ea82538450218 [file] [log] [blame]
Bin Meng8d6ed122015-02-02 22:35:28 +08001CONFIG_X86=y
Bin Meng03b341b2015-04-27 23:22:24 +08002CONFIG_VENDOR_INTEL=y
Joe Hershbergera274ded2015-05-12 14:46:24 -05003CONFIG_DEFAULT_DEVICE_TREE="galileo"
Bin Meng8d6ed122015-02-02 22:35:28 +08004CONFIG_TARGET_GALILEO=y
Joe Hershberger17491a82015-06-22 16:15:29 -05005CONFIG_GENERATE_PIRQ_TABLE=y
Joe Hershberger5a9d7f12015-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 Hershberger17491a82015-06-22 16:15:29 -050010CONFIG_BOOTSTAGE=y
11CONFIG_BOOTSTAGE_REPORT=y
12CONFIG_CMD_BOOTSTAGE=y
Bin Meng8d6ed122015-02-02 22:35:28 +080013CONFIG_OF_CONTROL=y
Joe Hershberger17491a82015-06-22 16:15:29 -050014CONFIG_SPI_FLASH=y
15CONFIG_NETDEVICES=y
Simon Glass6e378742015-04-05 16:07:34 -060016CONFIG_ETH_DESIGNWARE=y
Bin Meng51395ba2015-09-03 05:37:26 -070017CONFIG_DM_PCI=y
Bin Meng770fd332015-07-15 16:23:39 +080018CONFIG_DM_RTC=y
Bin Meng309ba252015-09-03 05:37:28 -070019CONFIG_USB=y
20CONFIG_DM_USB=y
Joe Hershberger17491a82015-06-22 16:15:29 -050021CONFIG_USE_PRIVATE_LIBGCC=y
22CONFIG_SYS_VSNPRINTF=y