diff options
| author | Michael Banck <mbanck@debian.org> | 2008-01-08 15:13:06 +0000 |
|---|---|---|
| committer | Michael Banck <mbanck@debian.org> | 2008-01-08 15:13:06 +0000 |
| commit | 9e52cf07f5ace5231c1ba970090016f8d80839cf (patch) | |
| tree | d4d69a4cdd510991d5083c49334c77d2cdeb7d75 /debian/local | |
| parent | b71e478e928da24ead1813f7cfa1fbf08fd84e16 (diff) | |
* debian/local/menu.lst: Add some comments.
Diffstat (limited to 'debian/local')
| -rw-r--r-- | debian/local/menu.lst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/local/menu.lst b/debian/local/menu.lst index 528faf52..9e2ba4c0 100644 --- a/debian/local/menu.lst +++ b/debian/local/menu.lst @@ -1,3 +1,7 @@ +# Example GRUB configuration to boot Debian GNU/Hurd off the first partition. +# Adjust the partition setting for GRUB's root command and the gnumach.gz +# root device. + timeout 5 default 0 @@ -9,6 +13,7 @@ module /hurd/ext2fs.static --multiboot-command-line=${kernel-command-line} --hos module /lib/ld.so.1 /hurd/exec $(exec-task=task-create) title Debian GNU/Hurd (single user mode) +root (hd0,0) 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) |