diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/changelog | 2 | ||||
| -rw-r--r-- | debian/hurd.examples | 1 | ||||
| -rw-r--r-- | debian/local/menu.lst | 14 |
3 files changed, 17 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 8b91f995..a0b15fc3 100644 --- a/debian/changelog +++ b/debian/changelog @@ -32,6 +32,8 @@ hurd (20071119-1) UNRELEASED; urgency=low patch by Thomas Schwinge. * debian/patches/pfinet_dhcp.patch: Updated with new patch by Christian Dietrich and Stefan Siegl. + * debian/local/menu.lst: New file. + * debian/hurd.examples: Ship it. -- Michael Banck <mbanck@debian.org> Thu, 16 Aug 2007 16:55:53 +0200 diff --git a/debian/hurd.examples b/debian/hurd.examples new file mode 100644 index 00000000..8f5405e0 --- /dev/null +++ b/debian/hurd.examples @@ -0,0 +1 @@ +debian/local/menu.list diff --git a/debian/local/menu.lst b/debian/local/menu.lst new file mode 100644 index 00000000..528faf52 --- /dev/null +++ b/debian/local/menu.lst @@ -0,0 +1,14 @@ +timeout 5 + +default 0 + +title Debian GNU/Hurd +root (hd0,0) +kernel /boot/gnumach.gz root=device:hd0s1 +module /hurd/ext2fs.static --multiboot-command-line=${kernel-command-line} --host-priv-port=${host-port} --device-master-port=${device-port} --exec-server-task=${exec-task} -T typed ${root} $(task-create) $(task-resume) +module /lib/ld.so.1 /hurd/exec $(exec-task=task-create) + +title Debian GNU/Hurd (single user mode) +kernel /boot/gnumach.gz -s root=device:hd0s1 +module /hurd/ext2fs.static --multiboot-command-line=${kernel-command-line} --host-priv-port=${host-port} --device-master-port=${device-port} --exec-server-task=${exec-task} -T typed ${root} $(task-create) $(task-resume) +module /lib/ld.so.1 /hurd/exec $(exec-task=task-create) |