if TARGET_XENGUEST_ARM64
config SYS_BOARD
default "xenguest_arm64"
config SYS_VENDOR
default "xen"
config SYS_CONFIG_NAME
endif