15
15
menuentry "GNU (aka GNU/Hurd)" {
17
17
multiboot /boot/gnumach.gz root=device:hd0s1
19
19
--multiboot-command-line='${kernel-command-line}' \
20
20
--host-priv-port='${host-port}' \
21
21
--device-master-port='${device-port}' \
22
22
--exec-server-task='${exec-task}' -T typed '${root}' \
23
23
'$(task-create)' '$(task-resume)'