diff --git a/tools/ocaml/libs/xc/xenctrl_stubs.c b/tools/ocaml/libs/xc/xenctrl_stubs.c
index de66f5989a..4a45a31c28 100644
--- a/tools/ocaml/libs/xc/xenctrl_stubs.c
+++ b/tools/ocaml/libs/xc/xenctrl_stubs.c
@@ -444,7 +444,19 @@ static value alloc_domaininfo(xc_domaininfo_t * info)
 
 	Store_field(result, 15, tmp);
 
-#if defined(__i386__) || defined(__x86_64__)
+#if defined(__arm__) || defined(__aarch64__)
+
+	tag = 0; /* tag ARM */
+
+	/* xen_arm_arch_domainconfig */
+	arch_config = caml_alloc_tuple(3);
+	Field(arch_config, 0) = Val_int(info->arch_config.gic_version);
+	Field(arch_config, 1) = Val_int(info->arch_config.nr_spis);
+
+	tmp = caml_copy_int32(info->arch_config.clock_frequency);
+	Field(arch_config, 2) = tmp;
+
+#elif defined(__i386__) || defined(__x86_64__)
 
 	tag = 1; /* tag x86 */