1CONFIG_X86=y
2CONFIG_SYS_TEXT_BASE=0x1120000
3CONFIG_NR_DRAM_BANKS=8
4CONFIG_ENV_SIZE=0x1000
5CONFIG_SPL_TEXT_BASE=0x1110000
6CONFIG_PRE_CON_BUF_ADDR=0x100000
7CONFIG_DEFAULT_DEVICE_TREE="coreboot"
8CONFIG_X86_RUN_64BIT=y
9CONFIG_VENDOR_COREBOOT=y
10CONFIG_TARGET_COREBOOT=y
11CONFIG_FIT=y
12CONFIG_FIT_SIGNATURE=y
13CONFIG_SHOW_BOOT_PROGRESS=y
14CONFIG_USE_BOOTARGS=y
15CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
16CONFIG_PRE_CONSOLE_BUFFER=y
17CONFIG_SYS_CONSOLE_INFO_QUIET=y
18CONFIG_DISPLAY_BOARDINFO_LATE=y
19CONFIG_LAST_STAGE_INIT=y
20CONFIG_HUSH_PARSER=y
21CONFIG_CMD_IDE=y
22CONFIG_CMD_MMC=y
23CONFIG_CMD_PART=y
24CONFIG_CMD_USB=y
25# CONFIG_CMD_SETEXPR is not set
26CONFIG_CMD_DHCP=y
27# CONFIG_CMD_NFS is not set
28CONFIG_CMD_PING=y
29CONFIG_CMD_TIME=y
30CONFIG_CMD_SOUND=y
31CONFIG_CMD_EXT2=y
32CONFIG_CMD_EXT4=y
33CONFIG_CMD_EXT4_WRITE=y
34CONFIG_CMD_FAT=y
35CONFIG_CMD_FS_GENERIC=y
36CONFIG_MAC_PARTITION=y
37# CONFIG_SPL_MAC_PARTITION is not set
38# CONFIG_SPL_DOS_PARTITION is not set
39CONFIG_ISO_PARTITION=y
40CONFIG_EFI_PARTITION=y
41# CONFIG_SPL_EFI_PARTITION is not set
42CONFIG_ENV_OVERWRITE=y
43CONFIG_SYS_RELOC_GD_ENV_ADDR=y
44CONFIG_REGMAP=y
45CONFIG_SYSCON=y
46# CONFIG_PCI_PNP is not set
47CONFIG_SOUND=y
48CONFIG_SOUND_I8254=y
49CONFIG_CONSOLE_SCROLL_LINES=5
50# CONFIG_GZIP is not set
51