132151d40SBin MengCONFIG_X86=y 232151d40SBin MengCONFIG_VENDOR_EFI=y 332151d40SBin MengCONFIG_TARGET_EFI_PAYLOAD=y 486cf1c82STom RiniCONFIG_NR_DRAM_BANKS=8 532151d40SBin MengCONFIG_FIT=y 632151d40SBin MengCONFIG_FIT_SIGNATURE=y 732151d40SBin MengCONFIG_USE_BOOTARGS=y 832151d40SBin MengCONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro" 91ffa447bSBin MengCONFIG_PRE_CONSOLE_BUFFER=y 101ffa447bSBin MengCONFIG_PRE_CON_BUF_ADDR=0x100000 1132151d40SBin MengCONFIG_SYS_CONSOLE_INFO_QUIET=y 1232151d40SBin MengCONFIG_DISPLAY_BOARDINFO_LATE=y 1332151d40SBin MengCONFIG_LAST_STAGE_INIT=y 1432151d40SBin MengCONFIG_HUSH_PARSER=y 1532151d40SBin Meng# CONFIG_CMD_FLASH is not set 1632151d40SBin MengCONFIG_CMD_IDE=y 1732151d40SBin MengCONFIG_CMD_MMC=y 1832151d40SBin MengCONFIG_CMD_PART=y 1932151d40SBin MengCONFIG_CMD_USB=y 2032151d40SBin Meng# CONFIG_CMD_SETEXPR is not set 2132151d40SBin MengCONFIG_CMD_DHCP=y 2232151d40SBin Meng# CONFIG_CMD_NFS is not set 2332151d40SBin MengCONFIG_CMD_PING=y 2432151d40SBin MengCONFIG_CMD_TIME=y 2532151d40SBin MengCONFIG_CMD_EXT2=y 2632151d40SBin MengCONFIG_CMD_EXT4=y 2732151d40SBin MengCONFIG_CMD_EXT4_WRITE=y 2832151d40SBin MengCONFIG_CMD_FAT=y 2932151d40SBin MengCONFIG_CMD_FS_GENERIC=y 3032151d40SBin MengCONFIG_MAC_PARTITION=y 3132151d40SBin MengCONFIG_ISO_PARTITION=y 3232151d40SBin MengCONFIG_EFI_PARTITION=y 33*8c5cad05STom RiniCONFIG_DEFAULT_DEVICE_TREE="efi-x86_payload" 3432151d40SBin MengCONFIG_REGMAP=y 3532151d40SBin MengCONFIG_SYSCON=y 3632151d40SBin Meng# CONFIG_PCI_PNP is not set 3732151d40SBin MengCONFIG_EFI=y 3832151d40SBin MengCONFIG_EFI_STUB=y 3932151d40SBin MengCONFIG_EFI_STUB_64BIT=y 40