13ebd892fSBin MengCONFIG_X86=y
23ebd892fSBin MengCONFIG_DEBUG_UART_BASE=0
33ebd892fSBin MengCONFIG_DEBUG_UART_CLOCK=0
43ebd892fSBin MengCONFIG_VENDOR_EFI=y
53ebd892fSBin MengCONFIG_DEFAULT_DEVICE_TREE="efi-x86_app"
63ebd892fSBin MengCONFIG_TARGET_EFI_APP=y
73ebd892fSBin MengCONFIG_DEBUG_UART=y
8*86cf1c82STom RiniCONFIG_NR_DRAM_BANKS=8
93ebd892fSBin MengCONFIG_FIT=y
103ebd892fSBin MengCONFIG_USE_BOOTARGS=y
113ebd892fSBin MengCONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
123ebd892fSBin MengCONFIG_SYS_CONSOLE_INFO_QUIET=y
133ebd892fSBin MengCONFIG_DISPLAY_BOARDINFO_LATE=y
143ebd892fSBin MengCONFIG_LAST_STAGE_INIT=y
153ebd892fSBin MengCONFIG_HUSH_PARSER=y
163ebd892fSBin Meng# CONFIG_CMD_BOOTM is not set
173ebd892fSBin MengCONFIG_CMD_PART=y
183ebd892fSBin Meng# CONFIG_CMD_SF_TEST is not set
193ebd892fSBin Meng# CONFIG_CMD_NET is not set
203ebd892fSBin MengCONFIG_CMD_TIME=y
213ebd892fSBin MengCONFIG_CMD_EXT2=y
223ebd892fSBin MengCONFIG_CMD_EXT4=y
233ebd892fSBin MengCONFIG_CMD_EXT4_WRITE=y
243ebd892fSBin MengCONFIG_CMD_FAT=y
253ebd892fSBin MengCONFIG_CMD_FS_GENERIC=y
263ebd892fSBin MengCONFIG_MAC_PARTITION=y
273ebd892fSBin MengCONFIG_ISO_PARTITION=y
283ebd892fSBin MengCONFIG_EFI_PARTITION=y
293ebd892fSBin MengCONFIG_OF_EMBED=y
303ebd892fSBin MengCONFIG_REGMAP=y
313ebd892fSBin MengCONFIG_SYSCON=y
323ebd892fSBin Meng# CONFIG_DM_ETH is not set
333ebd892fSBin MengCONFIG_DEBUG_EFI_CONSOLE=y
343ebd892fSBin Meng# CONFIG_REGEX is not set
353ebd892fSBin MengCONFIG_EFI=y
363ebd892fSBin Meng# CONFIG_EFI_LOADER is not set
37