1999-03-17 Gordon Matzigkeit <gord@trick.fig.org>

	* servers.boot: Clarify the default-pager description, and
          add a default `$(default-pager)' line.

	* Makefile: New file.

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)