2014-07-30 05:08:14 +00:00
|
|
|
CONFIG_X86=y
|
2018-02-03 17:10:38 +00:00
|
|
|
CONFIG_SYS_TEXT_BASE=0x1110000
|
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
|
2017-08-14 17:22:17 +00:00
|
|
|
CONFIG_USE_BOOTARGS=y
|
|
|
|
CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
|
2016-10-18 02:13:00 +00:00
|
|
|
CONFIG_SYS_CONSOLE_INFO_QUIET=y
|
2018-03-28 12:38:16 +00:00
|
|
|
CONFIG_LAST_STAGE_INIT=y
|
2016-04-22 01:37:19 +00:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2015-06-22 21:15:30 +00:00
|
|
|
# CONFIG_CMD_FLASH is not set
|
2017-08-14 23:58:53 +00:00
|
|
|
CONFIG_CMD_IDE=y
|
2017-01-27 10:00:42 +00:00
|
|
|
CONFIG_CMD_PART=y
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_SF=y
|
|
|
|
CONFIG_CMD_SPI=y
|
|
|
|
CONFIG_CMD_USB=y
|
2015-06-22 21:15:30 +00:00
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_DHCP=y
|
2015-06-22 21:15:30 +00:00
|
|
|
# CONFIG_CMD_NFS is not set
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_PING=y
|
|
|
|
CONFIG_CMD_TIME=y
|
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
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_EXT2=y
|
|
|
|
CONFIG_CMD_EXT4=y
|
|
|
|
CONFIG_CMD_EXT4_WRITE=y
|
|
|
|
CONFIG_CMD_FAT=y
|
|
|
|
CONFIG_CMD_FS_GENERIC=y
|
2017-01-27 10:00:36 +00:00
|
|
|
CONFIG_MAC_PARTITION=y
|
2017-01-27 10:00:38 +00:00
|
|
|
CONFIG_ISO_PARTITION=y
|
2017-01-27 10:00:41 +00:00
|
|
|
CONFIG_EFI_PARTITION=y
|
2018-02-06 13:58:59 +00:00
|
|
|
CONFIG_BOOTP_BOOTPATH=y
|
|
|
|
CONFIG_BOOTP_GATEWAY=y
|
|
|
|
CONFIG_BOOTP_HOSTNAME=y
|
2016-06-08 12:07:37 +00:00
|
|
|
CONFIG_REGMAP=y
|
|
|
|
CONFIG_SYSCON=y
|
2015-08-23 00:31:20 +00:00
|
|
|
CONFIG_TPM_TIS_LPC=y
|
2016-09-08 20:31:26 +00:00
|
|
|
CONFIG_USB_STORAGE=y
|
2016-12-07 13:10:25 +00:00
|
|
|
CONFIG_USB_KEYBOARD=y
|
2016-10-18 02:12:57 +00:00
|
|
|
CONFIG_CONSOLE_SCROLL_LINES=5
|
2015-08-23 00:31:20 +00:00
|
|
|
CONFIG_TPM=y
|