diff options
| author | Michael Banck <mbanck@debian.org> | 2008-01-08 00:06:51 +0000 |
|---|---|---|
| committer | Michael Banck <mbanck@debian.org> | 2008-01-08 00:06:51 +0000 |
| commit | 95a569160c7b9c424b922d67d670215446cc1451 (patch) | |
| tree | fa5258cfba6608326780e13467ccbbd14ae71586 /debian/local | |
| parent | 72216385a4cf5eb1102c84cd1c9ae701080792ba (diff) | |
* debian/local/menu.lst: New file.
* debian/hurd.examples: Ship it.
Diffstat (limited to 'debian/local')
| -rw-r--r-- | debian/local/menu.lst | 14 |
1 files changed, 14 insertions, 0 deletions
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) |