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