1CONFIG_X86=y 2CONFIG_SYS_TEXT_BASE=0x1120000 3CONFIG_NR_DRAM_BANKS=8 4CONFIG_ENV_SIZE=0x1000 5CONFIG_DEFAULT_DEVICE_TREE="coreboot" 6CONFIG_SPL_TEXT_BASE=0x1110000 7CONFIG_PRE_CON_BUF_ADDR=0x100000 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_TFTP_TSIZE=y 45CONFIG_REGMAP=y 46CONFIG_SYSCON=y 47# CONFIG_PCI_PNP is not set 48CONFIG_SOUND=y 49CONFIG_SOUND_I8254=y 50CONFIG_CONSOLE_SCROLL_LINES=5 51# CONFIG_GZIP is not set 52