1 2 3 4 5 6 7 8 9 10 11 12
if TARGET_XENGUEST_ARM64 config SYS_BOARD default "xenguest_arm64" config SYS_VENDOR default "xen" config SYS_CONFIG_NAME default "xenguest_arm64" endif