From 592785b0ad86d02eb82a8ae88ee17ba4d3084799 Mon Sep 17 00:00:00 2001
From: Thomas Bushnell <thomas@gnu.org>
Date: Mon, 22 Feb 1999 10:45:04 +0000
Subject: Maintain debian package info here now.

---
 debian/servers.boot | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 debian/servers.boot

(limited to 'debian/servers.boot')

diff --git a/debian/servers.boot b/debian/servers.boot
new file mode 100644
index 00000000..d25129d8
--- /dev/null
+++ b/debian/servers.boot
@@ -0,0 +1,16 @@
+# 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.
+
+# 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.
+/lib/ld.so.1 /hurd/exec $(exec-task=task-create)
+
+# default pager
+#/dev/hd0s2 $(add-paging-file) $(default-pager)
-- 
cgit v1.2.3