2 CONFIG_SYS_TEXT_BASE=0x1110000
3 CONFIG_SYS_MALLOC_F_LEN=0x3d00
7 CONFIG_DEFAULT_DEVICE_TREE="chromebook_coral"
8 CONFIG_SPL_TEXT_BASE=0xfef10000
9 CONFIG_TPL_TEXT_BASE=0xffff8000
10 CONFIG_SPL_SYS_MALLOC_F_LEN=0xf000
11 CONFIG_BOOTSTAGE_STASH_ADDR=0xfef00000
12 CONFIG_DEBUG_UART_BOARD_INIT=y
13 CONFIG_DEBUG_UART_BASE=0xde000000
14 CONFIG_DEBUG_UART_CLOCK=1843200
15 CONFIG_VENDOR_GOOGLE=y
16 CONFIG_TARGET_CHROMEBOOK_CORAL=y
19 CONFIG_HAVE_ACPI_RESUME=y
20 CONFIG_INTEL_CAR_CQOS=y
21 CONFIG_X86_OFFSET_U_BOOT=0xffd00000
22 CONFIG_X86_OFFSET_SPL=0xffe80000
23 CONFIG_INTEL_ACPIGEN=y
24 CONFIG_INTEL_GENERIC_WIFI=y
25 CONFIG_SYS_MONITOR_BASE=0x01110000
28 CONFIG_SPL_BOOTSTAGE=y
29 CONFIG_TPL_BOOTSTAGE=y
30 CONFIG_BOOTSTAGE_REPORT=y
31 CONFIG_SPL_BOOTSTAGE_RECORD_COUNT=10
32 CONFIG_BOOTSTAGE_STASH=y
34 CONFIG_BOOTARGS_SUBST=y
35 CONFIG_USE_BOOTCOMMAND=y
36 CONFIG_BOOTCOMMAND="tpm init; tpm startup TPM2_SU_CLEAR; read mmc 0:2 100000 0 80; setexpr loader *001004f0; setexpr size *00100518; setexpr blocks $size / 200; read mmc 0:2 100000 80 $blocks; setexpr setup $loader - 1000; setexpr cmdline_ptr $loader - 2000; setexpr.s cmdline *$cmdline_ptr; setexpr cmdline gsub %U \\\\${uuid}; if part uuid mmc 0:2 uuid; then zboot start 100000 0 0 0 $setup cmdline; zboot load; zboot setup; zboot dump; zboot go;fi"
37 CONFIG_SYS_CONSOLE_INFO_QUIET=y
38 CONFIG_DISPLAY_BOARDINFO_LATE=y
39 CONFIG_LAST_STAGE_INIT=y
41 # CONFIG_TPL_BLOBLIST is not set
42 CONFIG_BLOBLIST_ADDR=0x100000
43 CONFIG_BLOBLIST_SIZE=0x30000
45 CONFIG_TPL_SYS_MALLOC_SIMPLE=y
46 CONFIG_SPL_SEPARATE_BSS=y
48 CONFIG_SPL_DM_SPI_FLASH=y
51 # CONFIG_SPL_SPI_FLASH_TINY is not set
63 CONFIG_BOOTP_BOOTFILESIZE=y
66 CONFIG_CMD_BOOTSTAGE=y
71 CONFIG_CMD_EXT4_WRITE=y
73 CONFIG_CMD_FS_GENERIC=y
74 CONFIG_MAC_PARTITION=y
75 # CONFIG_SPL_MAC_PARTITION is not set
76 # CONFIG_SPL_DOS_PARTITION is not set
77 CONFIG_ISO_PARTITION=y
78 CONFIG_EFI_PARTITION=y
79 # CONFIG_SPL_EFI_PARTITION is not set
80 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"
81 CONFIG_ENV_OVERWRITE=y
83 CONFIG_BOOTFILE="bzImage"
87 CONFIG_SPL_OF_TRANSLATE=y
95 CONFIG_SPI_FLASH_WINBOND=y
96 # CONFIG_X86_PCH7 is not set
97 # CONFIG_X86_PCH9 is not set
99 # CONFIG_SPL_PINCTRL_FULL is not set
100 CONFIG_DEBUG_UART_SHIFT=2
103 CONFIG_SOUND_DA7219=y
105 CONFIG_SOUND_MAX98357A=y
106 CONFIG_SOUND_RT5677=y
109 # CONFIG_SYSINFO_SMBIOS is not set
110 CONFIG_TPL_SYSRESET=y
111 # CONFIG_TPM_V1 is not set
112 CONFIG_TPM2_CR50_I2C=y
113 CONFIG_USB_XHCI_HCD=y
115 CONFIG_USB_KEYBOARD=y
120 # CONFIG_SPL_USE_TINY_PRINTF is not set
121 CONFIG_TPL_USE_TINY_PRINTF=y
122 CONFIG_GENERATE_ACPI_TABLE=y
123 CONFIG_CMD_DHRYSTONE=y
125 # CONFIG_GZIP is not set
126 CONFIG_BLOBLIST_TABLES=y
127 # CONFIG_EFI_LOADER is not set