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 09d78935..91beb152 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/ufs --bootflags=${boot-args} --host-priv-port=${host-port} --device-master-port=${device-port} --exec-server-task=${exec-task} --machdev ${root-device} $(task-create) $(task-resume) +/hurd/ufs.static --bootflags=${boot-args} --host-priv-port=${host-port} --device-master-port=${device-port} --exec-server-task=${exec-task} --machdev ${root-device} $(task-create) $(task-resume) # Now the exec server; to load the dynamically-linked exec server program, # we have the boot loader in fact load and run ld.so, which in turn |