2 CONFIG_TEXT_BASE=0x1110000
3 CONFIG_SYS_MALLOC_LEN=0x2000000
4 CONFIG_SYS_MALLOC_F_LEN=0x3d00
8 CONFIG_DEFAULT_DEVICE_TREE="chromebook_coral"
9 CONFIG_SPL_TEXT_BASE=0xfef10000
10 CONFIG_TPL_TEXT_BASE=0xffff8000
11 CONFIG_SPL_SYS_MALLOC_F_LEN=0xf000
12 CONFIG_BOOTSTAGE_STASH_ADDR=0xfef00000
13 CONFIG_DEBUG_UART_BASE=0xde000000
14 CONFIG_DEBUG_UART_CLOCK=1843200
15 CONFIG_DEBUG_UART_BOARD_INIT=y
16 CONFIG_VENDOR_GOOGLE=y
17 CONFIG_TARGET_CHROMEBOOK_CORAL=y
20 CONFIG_HAVE_ACPI_RESUME=y
21 CONFIG_INTEL_CAR_CQOS=y
22 CONFIG_X86_OFFSET_U_BOOT=0xffd00000
23 CONFIG_X86_OFFSET_SPL=0xffe80000
24 CONFIG_INTEL_ACPIGEN=y
25 CONFIG_INTEL_GENERIC_WIFI=y
27 CONFIG_SYS_MONITOR_BASE=0x01110000
30 CONFIG_SPL_BOOTSTAGE=y
31 CONFIG_TPL_BOOTSTAGE=y
32 CONFIG_BOOTSTAGE_REPORT=y
33 CONFIG_SPL_BOOTSTAGE_RECORD_COUNT=10
34 CONFIG_BOOTSTAGE_STASH=y
36 CONFIG_BOOTARGS_SUBST=y
37 CONFIG_USE_BOOTCOMMAND=y
38 CONFIG_BOOTCOMMAND="tpm init; tpm startup TPM2_SU_CLEAR; bootflow scan -lb"
39 CONFIG_SYS_CONSOLE_INFO_QUIET=y
42 CONFIG_DISPLAY_BOARDINFO_LATE=y
43 CONFIG_LAST_STAGE_INIT=y
45 # CONFIG_TPL_BLOBLIST is not set
46 CONFIG_BLOBLIST_ADDR=0x100000
47 CONFIG_BLOBLIST_SIZE=0x30000
48 CONFIG_SPL_NO_BSS_LIMIT=y
50 CONFIG_SPL_SEPARATE_BSS=y
52 CONFIG_SPL_DM_SPI_FLASH=y
55 # CONFIG_SPL_SPI_FLASH_TINY is not set
56 CONFIG_TPL_SYS_MALLOC_SIMPLE=y
58 CONFIG_SYS_CBSIZE=1024
59 CONFIG_SYS_PBSIZE=1024
62 CONFIG_CMD_MEM_SEARCH=y
70 CONFIG_BOOTP_BOOTFILESIZE=y
73 CONFIG_CMD_BOOTSTAGE=y
78 CONFIG_CMD_EXT4_WRITE=y
80 CONFIG_CMD_FS_GENERIC=y
81 CONFIG_MAC_PARTITION=y
82 # CONFIG_SPL_MAC_PARTITION is not set
83 # CONFIG_SPL_DOS_PARTITION is not set
84 CONFIG_ISO_PARTITION=y
85 CONFIG_EFI_PARTITION=y
86 # CONFIG_SPL_EFI_PARTITION is not set
87 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"
88 CONFIG_ENV_OVERWRITE=y
90 CONFIG_BOOTFILE="bzImage"
95 CONFIG_TPL_SIMPLE_BUS=y
96 CONFIG_SPL_OF_TRANSLATE=y
98 CONFIG_SYS_64BIT_LBA=y
107 CONFIG_SPI_FLASH_WINBOND=y
108 # CONFIG_X86_PCH7 is not set
109 # CONFIG_X86_PCH9 is not set
111 # CONFIG_SPL_PINCTRL_FULL is not set
112 CONFIG_DEBUG_UART_SHIFT=2
114 CONFIG_SYS_NS16550_MEM32=y
116 CONFIG_SOUND_DA7219=y
118 CONFIG_SOUND_MAX98357A=y
119 CONFIG_SOUND_RT5677=y
122 # CONFIG_SYSINFO_SMBIOS is not set
123 CONFIG_TPL_SYSRESET=y
124 # CONFIG_TPM_V1 is not set
125 CONFIG_TPM2_CR50_I2C=y
126 CONFIG_USB_XHCI_HCD=y
128 CONFIG_USB_KEYBOARD=y
133 # CONFIG_SPL_USE_TINY_PRINTF is not set
134 CONFIG_TPL_USE_TINY_PRINTF=y
135 CONFIG_GENERATE_ACPI_TABLE=y
136 CONFIG_CMD_DHRYSTONE=y
138 # CONFIG_GZIP is not set
139 CONFIG_BLOBLIST_TABLES=y
140 # CONFIG_EFI_LOADER is not set