diff --git a/debian/config/amd64/defines b/debian/config/amd64/defines
index a730faff3..48b1aea56 100644
--- a/debian/config/amd64/defines
+++ b/debian/config/amd64/defines
@@ -19,3 +19,8 @@ parts: xen
 [amd64_image]
 configs:
  kernelarch-x86/config-arch-64
+
+[amd64_xen]
+dom0-support: true
+flavours:
+ amd64
diff --git a/debian/config/i386/defines b/debian/config/i386/defines
index 3bca02389..ea793d6f1 100644
--- a/debian/config/i386/defines
+++ b/debian/config/i386/defines
@@ -38,6 +38,12 @@ recommends: libc6-i686
 [686-pae_image-dbg]
 enabled: true
 
+[686-pae_xen]
+dom0-support: true
+flavours:
+ i386
+ amd64
+
 [amd64_description]
 hardware: 64-bit PCs
 hardware-long: PCs with AMD64 or Intel 64 processors
@@ -48,3 +54,7 @@ configs:
  kernelarch-x86/config-arch-64
 recommends: libc6-i686
 
+[amd64_xen]
+dom0-support: true
+flavours:
+ amd64