blob: f3ee5284d5458f501a0145e8d6e1f03857b63b49 [file] [log] [blame]
Bin Meng32151d42018-06-12 08:36:18 -07001CONFIG_X86=y
Tom Rinia09fea12019-11-18 20:02:10 -05002CONFIG_ENV_SIZE=0x1000
Tom Rinid168bcb2019-04-29 15:54:04 -04003CONFIG_NR_DRAM_BANKS=8
Tom Rini665c35a2019-09-23 11:47:37 -04004CONFIG_PRE_CON_BUF_ADDR=0x100000
Bin Meng32151d42018-06-12 08:36:18 -07005CONFIG_VENDOR_EFI=y
Bin Meng32151d42018-06-12 08:36:18 -07006CONFIG_TARGET_EFI_PAYLOAD=y
7CONFIG_FIT=y
8CONFIG_FIT_SIGNATURE=y
Simon Glass9f531462019-07-20 20:51:12 -06009CONFIG_SHOW_BOOT_PROGRESS=y
Bin Meng32151d42018-06-12 08:36:18 -070010CONFIG_USE_BOOTARGS=y
11CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
Bin Meng1ffa4472018-06-22 01:38:29 -070012CONFIG_PRE_CONSOLE_BUFFER=y
Bin Meng32151d42018-06-12 08:36:18 -070013CONFIG_SYS_CONSOLE_INFO_QUIET=y
14CONFIG_DISPLAY_BOARDINFO_LATE=y
15CONFIG_LAST_STAGE_INIT=y
16CONFIG_HUSH_PARSER=y
Bin Meng32151d42018-06-12 08:36:18 -070017CONFIG_CMD_IDE=y
18CONFIG_CMD_MMC=y
19CONFIG_CMD_PART=y
20CONFIG_CMD_USB=y
21# CONFIG_CMD_SETEXPR is not set
22CONFIG_CMD_DHCP=y
23# CONFIG_CMD_NFS is not set
24CONFIG_CMD_PING=y
25CONFIG_CMD_TIME=y
26CONFIG_CMD_EXT2=y
27CONFIG_CMD_EXT4=y
28CONFIG_CMD_EXT4_WRITE=y
29CONFIG_CMD_FAT=y
30CONFIG_CMD_FS_GENERIC=y
31CONFIG_MAC_PARTITION=y
32CONFIG_ISO_PARTITION=y
33CONFIG_EFI_PARTITION=y
Tom Rini8c5cad02018-09-03 15:26:12 -040034CONFIG_DEFAULT_DEVICE_TREE="efi-x86_payload"
Tom Rini8d8ee472019-11-12 22:46:36 -050035CONFIG_SYS_RELOC_GD_ENV_ADDR=y
Bin Meng32151d42018-06-12 08:36:18 -070036CONFIG_REGMAP=y
37CONFIG_SYSCON=y
38# CONFIG_PCI_PNP is not set
39CONFIG_EFI=y
40CONFIG_EFI_STUB=y