Re: /boot/servers.boot
On Mon, Jul 10, 2000 at 10:17:26AM -0500, Mike Burns wrote:
>
> What is in /boot/servers.boot for Debian GNU/HURD? I'm attempting the GHHK
> and need to fill in my /boot/servers.boot, but I already re-wrote
> everything on my Debian GNU/HURD partition with the GHHK stuff.
Here it is...
Someone should probably write up a doc explaining all the options there.
Marcus
--
`Rhubarb is no Egyptian god.' Debian http://www.debian.org Check Key server
Marcus Brinkmann GNU http://www.gnu.org for public PGP Key
Marcus.Brinkmann@ruhr-uni-bochum.de, marcus@gnu.org PGP Key ID 36E7CD09
http://homepage.ruhr-uni-bochum.de/Marcus.Brinkmann/ brinkmd@debian.org
# 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 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)
# To swap to a Linux swap partition, use something like the following.
# You can also add swap partitions to /etc/fstab.
#/dev/hd0s2 $(add-linux-paging-file)
Reply to: