diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-10 15:56:44 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-10 15:56:44 +0200 |
| commit | 1c6d9a52d3e0bace25ec83f37342423489ef73ea (patch) | |
| tree | 33c7c2926276c061718f7fbe3dc51f06fdb0028d /Hurd/HurdOnL4/menu.lst | |
| parent | 783c7838d24e5d506ae644e7ea4ce77490ef9f28 (diff) | |
| parent | 312d0bf2c9b288a78064fd9b8d010a3162a5b76c (diff) | |
| download | web-1c6d9a52d3e0bace25ec83f37342423489ef73ea.tar.gz web-1c6d9a52d3e0bace25ec83f37342423489ef73ea.tar.bz2 web-1c6d9a52d3e0bace25ec83f37342423489ef73ea.zip | |
Merge branch 'iki-master' of kepler:tmp/hurd/wiki/hurd-wiki.p into merge_pub
Diffstat (limited to 'Hurd/HurdOnL4/menu.lst')
| -rw-r--r-- | Hurd/HurdOnL4/menu.lst | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/Hurd/HurdOnL4/menu.lst b/Hurd/HurdOnL4/menu.lst new file mode 100644 index 00000000..3129ea74 --- /dev/null +++ b/Hurd/HurdOnL4/menu.lst @@ -0,0 +1,55 @@ +# menu for grub
+splashimage (hd0,0)/boot/grub/debian.xpm
+foreground bfbfe7
+background 3f3f7f
+ +timeout 30
+default 0 +
+title Debian Sid with Linux kernel 2.6.5
+root (hd0,1)
+kernel /vmlinuz root=/dev/hda2 vga=0x318
+
+title Debian Sid with old kernel
+root (hd0,1)
+kernel /vmlinuz.old root=/dev/hda2 vga=9
+
+title Microsoft Windows 2000
+rootnoverify (hd0,3)
+chainloader (hd0,3)+1
+
+title FreeDOS BETA 8.0
+root (hd0,0)
+chainloader +1
+
+title GNU Hurd on L4Ka Pistachio 0.4
+root (hd0,8)
+kernel /boot/laden -D
+module /boot/ia32-kernel
+module /libexec/l4/sigma0
+module /boot/wortel -D
+module /boot/physmem
+
+title Debian GNU/Hurd (gnumach)
+root (hd0,7)
+kernel /boot/kernel.gz root=device:hd0s8
+module /hurd/ext2fs.static --readonly \
+ --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 (oskit-mach)
+# root (hd3,0)
+# kernel /boot/kernel-ide -- root=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 device ${root-device} $(task-create) $(task-resume)
+# module /lib/ld.so.1 /hurd/exec $(exec-task=task-create)
+
+# title Debian GNU/Hurd (oskit-mach w/ remote debugging)
+# root (hd3,0)
+# kernel /boot/kernel-ide -d GDB_COM=1 BAUD=9600 -- root=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 device ${root-device} $(task-create) $(task-resume)
+# module /lib/ld.so.1 /hurd/exec $(exec-task=task-create)
+
|