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_TPL_TEXT_BASE=0xffff8000
10 CONFIG_SPL_SYS_MALLOC_F_LEN=0xf000
11 CONFIG_SPL_TEXT_BASE=0xfef10000
12 CONFIG_DEBUG_UART_BASE=0xde000000
13 CONFIG_DEBUG_UART_CLOCK=1843200
14 CONFIG_DEBUG_UART_BOARD_INIT=y
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
26 # CONFIG_EFI_LOADER is not set
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
35 CONFIG_BOOTSTAGE_STASH_ADDR=0xfef00000
37 CONFIG_BOOTARGS_SUBST=y
38 CONFIG_BOOTCOMMAND="tpm init; tpm startup TPM2_SU_CLEAR; bootflow scan -lb"
39 CONFIG_SYS_CBSIZE=1024
40 CONFIG_SYS_PBSIZE=1024
41 CONFIG_SYS_CONSOLE_INFO_QUIET=y
44 CONFIG_DISPLAY_BOARDINFO_LATE=y
46 # CONFIG_TPL_BLOBLIST is not set
47 CONFIG_BLOBLIST_ADDR=0x100000
48 CONFIG_BLOBLIST_SIZE=0x30000
49 CONFIG_SPL_NO_BSS_LIMIT=y
51 CONFIG_SPL_SEPARATE_BSS=y
53 CONFIG_SPL_DM_SPI_FLASH=y
56 # CONFIG_SPL_SPI_FLASH_TINY is not set
57 CONFIG_TPL_SYS_MALLOC_SIMPLE=y
61 CONFIG_CMD_MEM_SEARCH=y
68 CONFIG_BOOTP_BOOTFILESIZE=y
71 CONFIG_CMD_BOOTSTAGE=y
74 CONFIG_CMD_EXT4_WRITE=y
75 CONFIG_MAC_PARTITION=y
76 # CONFIG_SPL_MAC_PARTITION is not set
77 # CONFIG_SPL_DOS_PARTITION is not set
78 # CONFIG_SPL_EFI_PARTITION is not set
79 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"
80 CONFIG_ENV_OVERWRITE=y
82 CONFIG_BOOTFILE="bzImage"
87 CONFIG_TPL_SIMPLE_BUS=y
88 CONFIG_SPL_OF_TRANSLATE=y
90 CONFIG_SYS_64BIT_LBA=y
99 CONFIG_SPI_FLASH_WINBOND=y
100 # CONFIG_X86_PCH7 is not set
101 # CONFIG_X86_PCH9 is not set
103 # CONFIG_SPL_PINCTRL_FULL is not set
104 CONFIG_DEBUG_UART_SHIFT=2
106 CONFIG_SYS_NS16550_MEM32=y
108 CONFIG_SOUND_DA7219=y
110 CONFIG_SOUND_MAX98357A=y
111 CONFIG_SOUND_RT5677=y
114 # CONFIG_SYSINFO_SMBIOS is not set
115 CONFIG_TPL_SYSRESET=y
116 # CONFIG_TPM_V1 is not set
117 CONFIG_TPM2_CR50_I2C=y
118 CONFIG_USB_XHCI_HCD=y
119 CONFIG_USB_KEYBOARD=y
124 # CONFIG_SPL_USE_TINY_PRINTF is not set
125 CONFIG_TPL_USE_TINY_PRINTF=y
126 CONFIG_GENERATE_ACPI_TABLE=y
127 CONFIG_CMD_DHRYSTONE=y
129 # CONFIG_GZIP is not set
130 CONFIG_BLOBLIST_TABLES=y