1 files changed, 49 insertions, 0 deletions
diff --git a/debian/control b/debian/control
index 7c5e69b..3c789e4 100644
--- a/debian/control
+++ b/debian/control
@@ -38,6 +38,16 @@ Description: GNU version of the Mach microkernel
  This package depends on the latest GNU Mach kernel for use on PCs
  with a 686, Pentium or compatible processor.
 
+Package: gnumach-image-1-xen-686
+Architecture: any-i386
+Build-Profiles: <!stage1>
+Depends: ${misc:Depends}, gnumach-image-1.6-xen-686
+Description: GNU version of the Mach microkernel
+ This package depends on the latest GNU Mach kernel for use on PCs
+ with a 686, Pentium or compatible processor.
+ .
+ This kernel is for use in unprivileged (domU) Xen domains.
+
 Package: gnumach-image-1.6-686
 Architecture: any-i386
 Build-Profiles: <!stage1>
@@ -47,6 +57,17 @@ Breaks: libc0.3 (<< 2.10.1-3), hurd (<< 20120520-1), xserver-xorg-core (<< 2:1.9
 Description: GNU version of the Mach microkernel
  This is the Utah Mach microkernel used by the Hurd.
 
+Package: gnumach-image-1.6-xen-686
+Architecture: any-i386
+Build-Profiles: <!stage1>
+Depends: ${misc:Depends}, gnumach-common
+Provides: gnumach-image
+Breaks: libc0.3 (<< 2.10.1-3), hurd (<< 20120520-1)
+Description: GNU version of the Mach microkernel for Xen
+ This is the Utah Mach microkernel used by the Hurd.
+ .
+ The version in this package is compiled with Xen support.
+
 Package: kernel-image-1.6-686-di
 XB-Kernel-Version: 1.6-686
 Package-Type: udeb
@@ -60,6 +81,19 @@ Description: GNU version of the Mach microkernel for the Debian installer
  Installer boot images. It does _not_ provide a usable kernel for
  your full Debian system.
 
+Package: kernel-image-1.6-xen-686-di
+XB-Kernel-Version: 1.6-xen-686
+Package-Type: udeb
+Provides: kernel-image, input-modules
+Section: debian-installer
+Architecture: hurd-i386
+Build-Profiles: <!stage1>
+Depends: ${misc:Depends}, hurd-udeb
+Description: GNU version of the Mach microkernel for the Debian installer
+ This is the Utah Mach microkernel used by the Hurd for the Debian
+ Installer boot images. It does _not_ provide a usable kernel for
+ your full Debian system.
+
 Package: gnumach-image-1.6-686-dbg
 Section: debug
 Priority: extra
@@ -75,6 +109,21 @@ Description: GNU version of the Mach microkernel for debugging
  gnumach package, except that it is not stripped and has the
  kernel-level debugger compiled in.
 
+Package: gnumach-image-1.6-xen-686-dbg
+Section: debug
+Priority: extra
+Provides: gnumach
+Architecture: any-i386
+Build-Profiles: <!stage1>
+Depends: ${misc:Depends}, gnumach-common
+Breaks: libc0.3 (<< 2.10.1-3), hurd (<< 20120520-1)
+Description: GNU version of the Mach microkernel for Xen for debugging
+ This is the Utah Mach microkernel used by the Hurd.
+ .
+ The version in this package is identical to the version found in the
+ gnumach-xen package, except that it is not stripped and has the
+ kernel-level debugger compiled in.
+
 Package: gnumach-common
 Section: devel
 Architecture: all