blob: 72855be2b885405c4cd51e116b8685d2754794db [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
Tom Rinif7d0ae92020-07-28 08:46:52 -04005CONFIG_DEFAULT_DEVICE_TREE="efi-x86_payload"
Bin Meng32151d42018-06-12 08:36:18 -07006CONFIG_VENDOR_EFI=y
Bin Meng32151d42018-06-12 08:36:18 -07007CONFIG_TARGET_EFI_PAYLOAD=y
8CONFIG_FIT=y
9CONFIG_FIT_SIGNATURE=y
Simon Glass9f531462019-07-20 20:51:12 -060010CONFIG_SHOW_BOOT_PROGRESS=y
Bin Meng32151d42018-06-12 08:36:18 -070011CONFIG_USE_BOOTARGS=y
12CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
Bin Meng1ffa4472018-06-22 01:38:29 -070013CONFIG_PRE_CONSOLE_BUFFER=y
Bin Meng32151d42018-06-12 08:36:18 -070014CONFIG_SYS_CONSOLE_INFO_QUIET=y
15CONFIG_DISPLAY_BOARDINFO_LATE=y
16CONFIG_LAST_STAGE_INIT=y
17CONFIG_HUSH_PARSER=y
Bin Meng32151d42018-06-12 08:36:18 -070018CONFIG_CMD_IDE=y
19CONFIG_CMD_MMC=y
20CONFIG_CMD_PART=y
21CONFIG_CMD_USB=y
22# CONFIG_CMD_SETEXPR is not set
23CONFIG_CMD_DHCP=y
24# CONFIG_CMD_NFS is not set
25CONFIG_CMD_PING=y
26CONFIG_CMD_TIME=y
27CONFIG_CMD_EXT2=y
28CONFIG_CMD_EXT4=y
29CONFIG_CMD_EXT4_WRITE=y
30CONFIG_CMD_FAT=y
31CONFIG_CMD_FS_GENERIC=y
32CONFIG_MAC_PARTITION=y
33CONFIG_ISO_PARTITION=y
34CONFIG_EFI_PARTITION=y
Adam Forde91907a2020-07-03 06:48:56 -050035CONFIG_ENV_OVERWRITE=y
Tom Rini8d8ee472019-11-12 22:46:36 -050036CONFIG_SYS_RELOC_GD_ENV_ADDR=y
Bin Meng32151d42018-06-12 08:36:18 -070037CONFIG_REGMAP=y
38CONFIG_SYSCON=y
39# CONFIG_PCI_PNP is not set
Tom Rinid16c9d02020-05-26 15:06:17 -040040# CONFIG_GZIP is not set
Bin Meng32151d42018-06-12 08:36:18 -070041CONFIG_EFI=y
42CONFIG_EFI_STUB=y