1 CONFIG_X86=y 2 CONFIG_SYS_TEXT_BASE=0x1110000 3 CONFIG_VENDOR_COREBOOT=y 4 CONFIG_TARGET_COREBOOT=y 5 CONFIG_FIT=y 6 CONFIG_BOOTSTAGE=y 7 CONFIG_BOOTSTAGE_REPORT=y 8 CONFIG_USE_BOOTARGS=y 9 CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro" 10 CONFIG_SYS_CONSOLE_INFO_QUIET=y 11 CONFIG_DISPLAY_BOARDINFO_LATE=y 12 CONFIG_LAST_STAGE_INIT=y 13 CONFIG_HUSH_PARSER=y 14 # CONFIG_CMD_FLASH is not set 15 CONFIG_CMD_IDE=y 16 CONFIG_CMD_PART=y 17 CONFIG_CMD_SF=y 18 CONFIG_CMD_SPI=y 19 CONFIG_CMD_USB=y 20 # CONFIG_CMD_SETEXPR is not set 21 CONFIG_CMD_DHCP=y 22 # CONFIG_CMD_NFS is not set 23 CONFIG_CMD_PING=y 24 CONFIG_CMD_TIME=y 25 CONFIG_CMD_BOOTSTAGE=y 26 CONFIG_CMD_TPM=y 27 CONFIG_CMD_TPM_TEST=y 28 CONFIG_CMD_EXT2=y 29 CONFIG_CMD_EXT4=y 30 CONFIG_CMD_EXT4_WRITE=y 31 CONFIG_CMD_FAT=y 32 CONFIG_CMD_FS_GENERIC=y 33 CONFIG_MAC_PARTITION=y 34 CONFIG_ISO_PARTITION=y 35 CONFIG_EFI_PARTITION=y 36 CONFIG_REGMAP=y 37 CONFIG_SYSCON=y 38 CONFIG_SPI=y 39 CONFIG_TPM_TIS_LPC=y 40 CONFIG_USB_STORAGE=y 41 CONFIG_USB_KEYBOARD=y 42 CONFIG_CONSOLE_SCROLL_LINES=5 43 CONFIG_TPM=y 44
