1if TARGET_XENGUEST_ARM64
2
3config SYS_BOARD
4	default "xenguest_arm64"
5
6config SYS_VENDOR
7	default "xen"
8
9config SYS_CONFIG_NAME
10	default "xenguest_arm64"
11
12config LNX_KRNL_IMG_TEXT_OFFSET_BASE
13	default SYS_LOAD_ADDR
14
15endif
16