| CONFIG_X86=y |
| CONFIG_TEXT_BASE=0x1110000 |
| CONFIG_SYS_MALLOC_LEN=0x2000000 |
| CONFIG_SYS_MALLOC_F_LEN=0x3d00 |
| CONFIG_NR_DRAM_BANKS=8 |
| CONFIG_MAX_CPUS=8 |
| CONFIG_SPL_DM_SPI=y |
| CONFIG_DEFAULT_DEVICE_TREE="chromebook_coral" |
| CONFIG_SPL_TEXT_BASE=0xfef10000 |
| CONFIG_TPL_TEXT_BASE=0xffff8000 |
| CONFIG_SPL_SYS_MALLOC_F_LEN=0xf000 |
| CONFIG_BOOTSTAGE_STASH_ADDR=0xfef00000 |
| CONFIG_DEBUG_UART_BASE=0xde000000 |
| CONFIG_DEBUG_UART_CLOCK=1843200 |
| CONFIG_DEBUG_UART_BOARD_INIT=y |
| 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=0xffd00000 |
| CONFIG_X86_OFFSET_SPL=0xffe80000 |
| CONFIG_INTEL_ACPIGEN=y |
| CONFIG_INTEL_GENERIC_WIFI=y |
| CONFIG_SYS_MONITOR_BASE=0x01110000 |
| CONFIG_BOOTSTD_FULL=y |
| CONFIG_CHROMEOS=y |
| 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_SUBST=y |
| CONFIG_BOOTCOMMAND="tpm init; tpm startup TPM2_SU_CLEAR; bootflow scan -lb" |
| CONFIG_SYS_CBSIZE=1024 |
| CONFIG_SYS_PBSIZE=1024 |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| CONFIG_LOG=y |
| CONFIG_LOGF_FUNC=y |
| CONFIG_DISPLAY_BOARDINFO_LATE=y |
| CONFIG_BLOBLIST=y |
| # CONFIG_TPL_BLOBLIST is not set |
| CONFIG_BLOBLIST_ADDR=0x100000 |
| CONFIG_BLOBLIST_SIZE=0x30000 |
| CONFIG_SPL_NO_BSS_LIMIT=y |
| CONFIG_HANDOFF=y |
| CONFIG_SPL_SEPARATE_BSS=y |
| CONFIG_SPL_CPU=y |
| CONFIG_SPL_DM_SPI_FLASH=y |
| CONFIG_SPL_PCI=y |
| CONFIG_SPL_POWER=y |
| # CONFIG_SPL_SPI_FLASH_TINY is not set |
| CONFIG_TPL_SYS_MALLOC_SIMPLE=y |
| CONFIG_TPL_POWER=y |
| CONFIG_CMD_CPU=y |
| CONFIG_CMD_PMC=y |
| CONFIG_CMD_MEM_SEARCH=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_READ=y |
| CONFIG_CMD_SATA=y |
| CONFIG_CMD_SPI=y |
| CONFIG_CMD_USB=y |
| CONFIG_BOOTP_BOOTFILESIZE=y |
| CONFIG_CMD_TIME=y |
| CONFIG_CMD_SOUND=y |
| CONFIG_CMD_BOOTSTAGE=y |
| CONFIG_CMD_TPM=y |
| CONFIG_CMD_CBFS=y |
| CONFIG_CMD_EXT4_WRITE=y |
| CONFIG_MAC_PARTITION=y |
| # CONFIG_SPL_MAC_PARTITION is not set |
| # CONFIG_SPL_DOS_PARTITION is not set |
| # CONFIG_SPL_EFI_PARTITION is not set |
| CONFIG_OF_SPL_REMOVE_PROPS="clocks clock-names interrupt-parent interrupts linux-name acpi,name acpi,path u-boot,acpi-dsdt-order u-boot,acpi-ssdt-order" |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_USE_BOOTFILE=y |
| CONFIG_BOOTFILE="bzImage" |
| CONFIG_TFTP_TSIZE=y |
| CONFIG_USE_ROOTPATH=y |
| CONFIG_REGMAP=y |
| CONFIG_SYSCON=y |
| CONFIG_TPL_SIMPLE_BUS=y |
| CONFIG_SPL_OF_TRANSLATE=y |
| CONFIG_LBA48=y |
| CONFIG_SYS_64BIT_LBA=y |
| CONFIG_CPU=y |
| CONFIG_DM_I2C=y |
| CONFIG_SYS_I2C_DW=y |
| CONFIG_MISC=y |
| CONFIG_CROS_EC=y |
| CONFIG_CROS_EC_LPC=y |
| CONFIG_SPL_P2SB=y |
| CONFIG_TPL_P2SB=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_SYS_NS16550_MEM32=y |
| CONFIG_SOUND=y |
| CONFIG_SOUND_DA7219=y |
| CONFIG_SOUND_I8254=y |
| CONFIG_SOUND_MAX98357A=y |
| CONFIG_SOUND_RT5677=y |
| CONFIG_SPI=y |
| CONFIG_ICH_SPI=y |
| # CONFIG_SYSINFO_SMBIOS is not set |
| CONFIG_TPL_SYSRESET=y |
| # CONFIG_TPM_V1 is not set |
| CONFIG_TPM2_CR50_I2C=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_KEYBOARD=y |
| CONFIG_VIDEO_COPY=y |
| CONFIG_FS_CBFS=y |
| CONFIG_SPL_FS_CBFS=y |
| CONFIG_FAT_WRITE=y |
| # CONFIG_SPL_USE_TINY_PRINTF is not set |
| CONFIG_TPL_USE_TINY_PRINTF=y |
| CONFIG_GENERATE_ACPI_TABLE=y |
| CONFIG_CMD_DHRYSTONE=y |
| CONFIG_TPM=y |
| # CONFIG_GZIP is not set |
| CONFIG_BLOBLIST_TABLES=y |
| # CONFIG_EFI_LOADER is not set |
