2014-07-30 05:08:14 +00:00
|
|
|
CONFIG_X86=y
|
2018-02-03 17:10:38 +00:00
|
|
|
CONFIG_SYS_TEXT_BASE=0x1110000
|
2019-04-29 19:54:04 +00:00
|
|
|
CONFIG_NR_DRAM_BANKS=8
|
2015-05-07 13:34:09 +00:00
|
|
|
CONFIG_VENDOR_COREBOOT=y
|
2014-07-30 05:08:14 +00:00
|
|
|
CONFIG_TARGET_COREBOOT=y
|
2016-02-23 05:55:43 +00:00
|
|
|
CONFIG_FIT=y
|
2018-08-10 09:39:33 +00:00
|
|
|
CONFIG_FIT_SIGNATURE=y
|
2019-07-21 02:51:12 +00:00
|
|
|
CONFIG_SHOW_BOOT_PROGRESS=y
|
2017-08-14 17:22:17 +00:00
|
|
|
CONFIG_USE_BOOTARGS=y
|
|
|
|
CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
|
2018-08-10 09:39:33 +00:00
|
|
|
CONFIG_PRE_CONSOLE_BUFFER=y
|
|
|
|
CONFIG_PRE_CON_BUF_ADDR=0x100000
|
2016-10-18 02:13:00 +00:00
|
|
|
CONFIG_SYS_CONSOLE_INFO_QUIET=y
|
2018-03-28 12:38:17 +00:00
|
|
|
CONFIG_DISPLAY_BOARDINFO_LATE=y
|
2018-03-28 12:38:16 +00:00
|
|
|
CONFIG_LAST_STAGE_INIT=y
|
2016-04-22 01:37:19 +00:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2015-06-22 21:15:30 +00:00
|
|
|
# CONFIG_CMD_FLASH is not set
|
2017-08-14 23:58:53 +00:00
|
|
|
CONFIG_CMD_IDE=y
|
2018-08-10 09:39:33 +00:00
|
|
|
CONFIG_CMD_MMC=y
|
2017-01-27 10:00:42 +00:00
|
|
|
CONFIG_CMD_PART=y
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_USB=y
|
2015-06-22 21:15:30 +00:00
|
|
|
# CONFIG_CMD_SETEXPR is not set
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_DHCP=y
|
2015-06-22 21:15:30 +00:00
|
|
|
# CONFIG_CMD_NFS is not set
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_CMD_PING=y
|
|
|
|
CONFIG_CMD_TIME=y
|
2019-02-17 03:25:00 +00:00
|
|
|
CONFIG_CMD_SOUND=y
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_EXT2=y
|
|
|
|
CONFIG_CMD_EXT4=y
|
|
|
|
CONFIG_CMD_EXT4_WRITE=y
|
|
|
|
CONFIG_CMD_FAT=y
|
|
|
|
CONFIG_CMD_FS_GENERIC=y
|
2017-01-27 10:00:36 +00:00
|
|
|
CONFIG_MAC_PARTITION=y
|
2017-01-27 10:00:38 +00:00
|
|
|
CONFIG_ISO_PARTITION=y
|
2017-01-27 10:00:41 +00:00
|
|
|
CONFIG_EFI_PARTITION=y
|
2018-08-10 09:39:33 +00:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="coreboot"
|
2016-06-08 12:07:37 +00:00
|
|
|
CONFIG_REGMAP=y
|
|
|
|
CONFIG_SYSCON=y
|
2018-08-10 09:39:33 +00:00
|
|
|
# CONFIG_PCI_PNP is not set
|
2019-02-17 03:25:00 +00:00
|
|
|
CONFIG_SOUND=y
|
|
|
|
CONFIG_SOUND_I8254=y
|
2016-10-18 02:12:57 +00:00
|
|
|
CONFIG_CONSOLE_SCROLL_LINES=5
|