2014-07-30 14:08:14 +09:00
|
|
|
CONFIG_X86=y
|
2015-05-07 22:34:09 +09:00
|
|
|
CONFIG_VENDOR_COREBOOT=y
|
2014-07-30 14:08:14 +09:00
|
|
|
CONFIG_TARGET_COREBOOT=y
|
2015-06-23 06:15:29 +09:00
|
|
|
CONFIG_TSC_CALIBRATION_BYPASS=y
|
2015-06-23 06:15:30 +09: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 06:15:29 +09:00
|
|
|
CONFIG_BOOTSTAGE=y
|
|
|
|
CONFIG_BOOTSTAGE_REPORT=y
|
|
|
|
CONFIG_CMD_BOOTSTAGE=y
|
2015-08-23 09:31:39 +09:00
|
|
|
CONFIG_CMD_TPM=y
|
2015-08-23 09:31:43 +09:00
|
|
|
CONFIG_CMD_TPM_TEST=y
|
2014-09-22 19:59:05 +09:00
|
|
|
CONFIG_OF_CONTROL=y
|
2015-03-06 04:25:32 +09:00
|
|
|
CONFIG_DM_PCI=y
|
2015-06-23 06:15:29 +09:00
|
|
|
CONFIG_SPI_FLASH=y
|
2015-08-28 18:22:38 +09:00
|
|
|
CONFIG_DM_ETH=y
|
2015-08-20 00:33:43 +09:00
|
|
|
CONFIG_E1000=y
|
2015-08-23 09:31:39 +09:00
|
|
|
CONFIG_DM_TPM=y
|
2015-08-23 09:31:20 +09:00
|
|
|
CONFIG_TPM_TIS_LPC=y
|
2015-08-28 18:22:38 +09:00
|
|
|
CONFIG_USB=y
|
|
|
|
CONFIG_DM_USB=y
|
|
|
|
CONFIG_DM_RTC=y
|
2015-06-23 06:15:29 +09:00
|
|
|
CONFIG_USE_PRIVATE_LIBGCC=y
|
|
|
|
CONFIG_SYS_VSNPRINTF=y
|
2015-08-23 09:31:20 +09:00
|
|
|
CONFIG_TPM=y
|