@@ -283,6 +283,11 @@
*/
#define LIBXL_HAVE_BUILDINFO_ARCH_ARM_TEE 1
+/*
+ * arch_arm.tee field in libxl_domain_build_info has ffa value.
+ */
+#define LIBXL_HAVE_BUILDINFO_ARCH_ARM_TEE_FFA 1
+
/*
* libxl_domain_build_info has the arch_arm.sve_vl field.
*/
@@ -207,6 +207,9 @@ int libxl__arch_domain_prepare_config(libxl__gc *gc,
case LIBXL_TEE_TYPE_OPTEE:
config->arch.tee_type = XEN_DOMCTL_CONFIG_TEE_OPTEE;
break;
+ case LIBXL_TEE_TYPE_FFA:
+ config->arch.tee_type = XEN_DOMCTL_CONFIG_TEE_FFA;
+ break;
default:
LOG(ERROR, "Unknown TEE type %d",
d_config->b_info.tee);
@@ -520,7 +520,8 @@ libxl_gic_version = Enumeration("gic_version", [
libxl_tee_type = Enumeration("tee_type", [
(0, "none"),
- (1, "optee")
+ (1, "optee"),
+ (2, "ffa"),
], init_val = "LIBXL_TEE_TYPE_NONE")
libxl_sve_type = Enumeration("sve_type", [