2014-07-30 13:08:14 +08:00
|
|
|
CONFIG_X86=y
|
2015-05-07 21:34:09 +08:00
|
|
|
CONFIG_VENDOR_COREBOOT=y
|
2014-07-30 13:08:14 +08:00
|
|
|
CONFIG_TARGET_COREBOOT=y
|
2015-06-23 05:15:29 +08:00
|
|
|
CONFIG_TSC_CALIBRATION_BYPASS=y
|
2015-06-23 05:15:30 +08: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-23 05:15:29 +08:00
|
|
|
CONFIG_BOOTSTAGE=y
|
|
|
|
CONFIG_BOOTSTAGE_REPORT=y
|
|
|
|
CONFIG_CMD_BOOTSTAGE=y
|
2014-09-22 18:59:05 +08:00
|
|
|
CONFIG_OF_CONTROL=y
|
2015-03-06 03:25:32 +08:00
|
|
|
CONFIG_DM_PCI=y
|
2015-06-23 05:15:29 +08:00
|
|
|
CONFIG_SPI_FLASH=y
|
2015-08-19 23:33:43 +08:00
|
|
|
CONFIG_NETDEVICES=y
|
|
|
|
CONFIG_E1000=y
|
2015-06-23 05:15:29 +08:00
|
|
|
CONFIG_USE_PRIVATE_LIBGCC=y
|
|
|
|
CONFIG_SYS_VSNPRINTF=y
|