kernel (hd0,3)/boot/gnumach.gz root=/dev/hda4
module (hd0,3)/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 (hd0,3)/lib/ld.so.1 /hurd/exec $(exec-task=task-create)