diff options
Diffstat (limited to 'release/servers.boot')
| -rw-r--r-- | release/servers.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/servers.boot b/release/servers.boot index 9ba7f6a4..8b66743f 100644 --- a/release/servers.boot +++ b/release/servers.boot @@ -3,7 +3,7 @@ # First, the bootstrap filesystem. It needs several ports as arguments, # as well as the user flags from the boot loader. -/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) +/hurd/ext2fs.static --multiboot-command-line=${kernel-command-line} --host-priv-port=${host-port} --device-master-port=${device-port} --exec-server-task=${exec-task} --kernel-task=${kernel-task} -T typed ${root} $(task-create) $(task-resume) # Now the exec server; to load the dynamically-linked exec server program, |