2 CONFIG_POSITION_INDEPENDENT=y
3 CONFIG_SYS_TEXT_BASE=0x40080000
4 CONFIG_SYS_MALLOC_F_LEN=0x2000
5 CONFIG_IDENT_STRING=" xenguest"
6 CONFIG_TARGET_XENGUEST_ARM64=y
9 CONFIG_SYS_PROMPT="xenguest# "
15 CONFIG_CMD_BOOTEFI_HELLO_COMPILE=n
24 CONFIG_CMD_EXPORTENV=n
25 CONFIG_CMD_IMPORTENV=n
27 CONFIG_CMD_ENV_EXISTS=n
49 # CONFIG_ISO_PARTITION is not set
51 #CONFIG_EFI_PARTITION=y
52 # CONFIG_EFI_LOADER is not set
55 # CONFIG_MMC is not set
57 # CONFIG_REQUIRE_SERIAL_CONSOLE is not set