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
|
2015-06-22 21:15:30 +00:00
|
|
|
# CONFIG_CMD_IMLS is not set
|
|
|
|
# CONFIG_CMD_FLASH is not set
|
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
|
|
|
# CONFIG_CMD_NFS is not set
|
2015-06-22 21:15:29 +00:00
|
|
|
CONFIG_BOOTSTAGE=y
|
|
|
|
CONFIG_BOOTSTAGE_REPORT=y
|
|
|
|
CONFIG_CMD_BOOTSTAGE=y
|
2015-02-02 14:35:28 +00:00
|
|
|
CONFIG_OF_CONTROL=y
|
2015-05-12 20:55:04 +00:00
|
|
|
CONFIG_SPL_DISABLE_OF_CONTROL=y
|
2015-06-22 21:15:29 +00:00
|
|
|
CONFIG_SPI_FLASH=y
|
|
|
|
CONFIG_NETDEVICES=y
|
2015-04-05 22:07:34 +00:00
|
|
|
CONFIG_ETH_DESIGNWARE=y
|
2015-06-22 21:15:29 +00:00
|
|
|
CONFIG_USE_PRIVATE_LIBGCC=y
|
|
|
|
CONFIG_SYS_VSNPRINTF=y
|