diff options
Diffstat (limited to 'debian/servers.boot')
| -rw-r--r-- | debian/servers.boot | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/debian/servers.boot b/debian/servers.boot index d25129d8..163389de 100644 --- a/debian/servers.boot +++ b/debian/servers.boot @@ -1,16 +1,21 @@ -# Boot script file for booting Debian GNU/Hurd. Each line specifies a file to -# be loaded by the boot loader (the first word), and actions to be done with it. +# GNU Mach boot script for Debian GNU/Hurd. Each line specifies a +# file for serverboot to load (the first word), and actions to be done +# with it. # First, the bootstrap filesystem. It needs several ports as arguments, # as well as the user flags from the boot loader. /hurd/ext2fs.static --bootflags=${boot-args} --host-priv-port=${host-port} --device-master-port=${device-port} --exec-server-task=${exec-task} -Tdevice ${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 -# loads and runs /hurd/exec. This task is created, and its task port saved -# in ${exec-task} to be passed to the fs above, but it is left suspended; -# the fs will resume the exec task once it is ready. +# Now the exec server; to load the dynamically-linked exec server +# program, we have serverboot in fact load and run ld.so, which in +# turn loads and runs /hurd/exec. This task is created, and its task +# port saved in ${exec-task} to be passed to the fs above, but it is +# left suspended; the fs will resume the exec task once it is ready. /lib/ld.so.1 /hurd/exec $(exec-task=task-create) -# default pager -#/dev/hd0s2 $(add-paging-file) $(default-pager) +# Have serverboot act as our default pager. +$(default-pager) + +# To swap to a Linux swap partition, use something like the following +# instead of the above $(default-pager) line: +#/dev/hd0s2 $(add-linux-paging-file) $(default-pager) |