2014-07-30 05:08:14 +00:00
|
|
|
CONFIG_X86=y
|
2015-05-07 13:34:09 +00:00
|
|
|
CONFIG_VENDOR_COREBOOT=y
|
2014-07-30 05:08:14 +00:00
|
|
|
CONFIG_TARGET_COREBOOT=y
|
2016-02-23 05:55:43 +00:00
|
|
|
CONFIG_FIT=y
|
2016-02-23 05:55:40 +00:00
|
|
|
CONFIG_BOOTSTAGE=y
|
|
|
|
CONFIG_BOOTSTAGE_REPORT=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_CMD_BOOTSTAGE=y
|
2015-08-23 00:31:39 +00:00
|
|
|
CONFIG_CMD_TPM=y
|
2015-08-23 00:31:43 +00:00
|
|
|
CONFIG_CMD_TPM_TEST=y
|
2014-09-22 10:59:05 +00:00
|
|
|
CONFIG_OF_CONTROL=y
|
2015-06-22 21:15:29 +00:00
|
|
|
CONFIG_SPI_FLASH=y
|
2015-11-25 13:34:54 +00:00
|
|
|
CONFIG_SPI_FLASH_GIGADEVICE=y
|
|
|
|
CONFIG_SPI_FLASH_MACRONIX=y
|
|
|
|
CONFIG_SPI_FLASH_WINBOND=y
|
2015-08-28 09:22:38 +00:00
|
|
|
CONFIG_DM_ETH=y
|
2015-08-19 15:33:43 +00:00
|
|
|
CONFIG_E1000=y
|
2015-09-28 12:14:15 +00:00
|
|
|
CONFIG_DM_PCI=y
|
|
|
|
CONFIG_DM_RTC=y
|
2015-11-19 13:48:14 +00:00
|
|
|
CONFIG_SYS_NS16550=y
|
2015-11-13 08:11:22 +00:00
|
|
|
CONFIG_TIMER=y
|
2015-08-23 00:31:20 +00:00
|
|
|
CONFIG_TPM_TIS_LPC=y
|
2015-08-28 09:22:38 +00:00
|
|
|
CONFIG_USB=y
|
|
|
|
CONFIG_DM_USB=y
|
2015-06-22 21:15:29 +00:00
|
|
|
CONFIG_USE_PRIVATE_LIBGCC=y
|
2015-08-23 00:31:20 +00:00
|
|
|
CONFIG_TPM=y
|