| CONFIG_X86=y |
| CONFIG_SYS_TEXT_BASE=0x1110000 |
| CONFIG_SYS_MALLOC_F_LEN=0x3d00 |
| CONFIG_SPL_DM_SPI=y |
| CONFIG_SPL_TEXT_BASE=0xfef10000 |
| CONFIG_SPL_SYS_MALLOC_F_LEN=0xf000 |
| CONFIG_NR_DRAM_BANKS=8 |
| CONFIG_BOOTSTAGE_STASH_ADDR=0xfef00000 |
| CONFIG_DEBUG_UART_BOARD_INIT=y |
| CONFIG_DEBUG_UART_BASE=0xde000000 |
| CONFIG_DEBUG_UART_CLOCK=1843200 |
| CONFIG_VENDOR_GOOGLE=y |
| CONFIG_TARGET_CHROMEBOOK_CORAL=y |
| CONFIG_DEBUG_UART=y |
| CONFIG_FSP_VERSION2=y |
| CONFIG_HAVE_ACPI_RESUME=y |
| CONFIG_INTEL_CAR_CQOS=y |
| CONFIG_X86_OFFSET_U_BOOT=0xffe00000 |
| CONFIG_X86_OFFSET_SPL=0xffe80000 |
| CONFIG_DEFAULT_DEVICE_TREE="chromebook_coral" |
| CONFIG_BOOTSTAGE=y |
| CONFIG_SPL_BOOTSTAGE=y |
| CONFIG_TPL_BOOTSTAGE=y |
| CONFIG_BOOTSTAGE_REPORT=y |
| CONFIG_SPL_BOOTSTAGE_RECORD_COUNT=10 |
| CONFIG_BOOTSTAGE_STASH=y |
| CONFIG_USE_BOOTARGS=y |
| CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro earlyprintk console=tty0 console=ttyS0,115200" |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| CONFIG_SPL_LOG=y |
| CONFIG_LOG_DEFAULT_LEVEL=7 |
| CONFIG_DISPLAY_BOARDINFO_LATE=y |
| CONFIG_LAST_STAGE_INIT=y |
| CONFIG_BLOBLIST=y |
| # CONFIG_TPL_BLOBLIST is not set |
| CONFIG_BLOBLIST_ADDR=0x100000 |
| CONFIG_HANDOFF=y |
| CONFIG_TPL_SYS_MALLOC_SIMPLE=y |
| CONFIG_SPL_SEPARATE_BSS=y |
| CONFIG_SPL_CPU_SUPPORT=y |
| CONFIG_SPL_DM_SPI_FLASH=y |
| CONFIG_SPL_PCI=y |
| # CONFIG_SPL_SPI_FLASH_TINY is not set |
| CONFIG_HUSH_PARSER=y |
| CONFIG_CMD_CPU=y |
| CONFIG_CMD_PMC=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_PART=y |
| CONFIG_CMD_READ=y |
| CONFIG_CMD_SATA=y |
| CONFIG_CMD_SPI=y |
| CONFIG_CMD_USB=y |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_CMD_TIME=y |
| CONFIG_CMD_SOUND=y |
| CONFIG_CMD_BOOTSTAGE=y |
| CONFIG_CMD_TPM=y |
| CONFIG_CMD_EXT2=y |
| CONFIG_CMD_EXT4=y |
| CONFIG_CMD_EXT4_WRITE=y |
| CONFIG_CMD_FAT=y |
| CONFIG_CMD_FS_GENERIC=y |
| CONFIG_MAC_PARTITION=y |
| # CONFIG_SPL_MAC_PARTITION is not set |
| # CONFIG_SPL_DOS_PARTITION is not set |
| CONFIG_ISO_PARTITION=y |
| CONFIG_EFI_PARTITION=y |
| # CONFIG_SPL_EFI_PARTITION is not set |
| # CONFIG_NET is not set |
| CONFIG_REGMAP=y |
| CONFIG_SYSCON=y |
| CONFIG_SPL_OF_TRANSLATE=y |
| CONFIG_CPU=y |
| CONFIG_DM_I2C=y |
| CONFIG_SYS_I2C_DW=y |
| CONFIG_TPL_MISC=y |
| CONFIG_CROS_EC=y |
| CONFIG_CROS_EC_LPC=y |
| CONFIG_SPI_FLASH_WINBOND=y |
| # CONFIG_X86_PCH7 is not set |
| # CONFIG_X86_PCH9 is not set |
| CONFIG_PINCTRL=y |
| # CONFIG_SPL_PINCTRL_FULL is not set |
| CONFIG_DEBUG_UART_SHIFT=2 |
| CONFIG_SYS_NS16550=y |
| CONFIG_SOUND=y |
| CONFIG_SOUND_I8254=y |
| CONFIG_SOUND_RT5677=y |
| CONFIG_SPI=y |
| CONFIG_ICH_SPI=y |
| CONFIG_TPL_SYSRESET=y |
| # CONFIG_TPM_V1 is not set |
| CONFIG_TPM2_CR50_I2C=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_USB_KEYBOARD=y |
| CONFIG_SPL_FS_CBFS=y |
| # CONFIG_SPL_USE_TINY_PRINTF is not set |
| CONFIG_TPL_USE_TINY_PRINTF=y |
| CONFIG_CMD_DHRYSTONE=y |
| CONFIG_TPM=y |
| # CONFIG_GZIP is not set |
| # CONFIG_EFI_LOADER is not set |