1CONFIG_ARM=y 2CONFIG_POSITION_INDEPENDENT=y 3CONFIG_TARGET_XENGUEST_ARM64=y 4CONFIG_SYS_TEXT_BASE=0x40080000 5CONFIG_SYS_MALLOC_F_LEN=0x2000 6CONFIG_IDENT_STRING=" xenguest" 7CONFIG_BOOTDELAY=10 8CONFIG_SYS_PROMPT="xenguest# " 9# CONFIG_CMD_BDI is not set 10# CONFIG_CMD_BOOTD is not set 11# CONFIG_CMD_ELF is not set 12# CONFIG_CMD_GO is not set 13# CONFIG_CMD_IMI is not set 14# CONFIG_CMD_XIMG is not set 15# CONFIG_CMD_EXPORTENV is not set 16# CONFIG_CMD_IMPORTENV is not set 17# CONFIG_CMD_EDITENV is not set 18# CONFIG_CMD_SAVEENV is not set 19# CONFIG_CMD_ENV_EXISTS is not set 20# CONFIG_CMD_CRC32 is not set 21# CONFIG_CMD_LZMADEC is not set 22# CONFIG_CMD_UNZIP is not set 23# CONFIG_CMD_LOADB is not set 24# CONFIG_CMD_LOADS is not set 25CONFIG_CMD_PVBLOCK=y 26# CONFIG_CMD_ECHO is not set 27# CONFIG_CMD_ITEST is not set 28# CONFIG_CMD_SOURCE is not set 29# CONFIG_CMD_SETEXPR is not set 30# CONFIG_CMD_NET is not set 31# CONFIG_CMD_SLEEP is not set 32CONFIG_CMD_EXT4=y 33CONFIG_CMD_FAT=y 34CONFIG_OF_BOARD=y 35CONFIG_DM=y 36# CONFIG_MMC is not set 37# CONFIG_REQUIRE_SERIAL_CONSOLE is not set 38CONFIG_DM_SERIAL=y 39# CONFIG_EFI_LOADER is not set 40