diff options
-rw-r--r-- | platforms.config | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/platforms.config b/platforms.config index c6c0767..b195c28 100644 --- a/platforms.config +++ b/platforms.config @@ -235,3 +235,11 @@ ARCH=AARCH64 UEFI_BIN=BL33_AP_UEFI.fd UEFI_IMAGE_DIR=HiKey BUILD_ATF=yes + +[xen64] +LONGNAME=AArch64 Xen guest +BUILDFLAGS= +DSC=ArmPlatformPkg/ArmVirtualizationPkg/ArmVirtualizationXen.dsc +ARCH=AARCH64 +UEFI_BIN=XEN_EFI.fd +UEFI_IMAGE_DIR=ArmVirtualizationXen-AARCH64 |