diff options
| -rw-r--r-- | debian/control | 49 |
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 |