[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: System requirements

> > Hmm.  You do need a default pager, even if you have no swap.
> Oh, a default swapper eh :)

The default pager (which is in the program /boot/serverboot) is the server
that provides paging to backing store as a service generically in the
system.  There is always just one default pager, even if there are multiple
swap devices.  

The magic token $(default-pager) in the boot script is what tells serverboot 
that it should in fact be the default pager.  The $(add-paging-file) magic
token tells it a swap partition to use, but the two are in fact independent.

I'm not able to try these out right now, so I can't tell you for sure
exactly what works; but I'll suggest some things for people to try, and
tell us how it goes.  It might work to just have a line:


in the boot script.  Or, it might work to have a line like:

dummy $(default-pager)

I'm pretty sure that it will work to add $(default-pager) to one of the
other (non-comment) lines in the boot script.  It should not hurt to have
$(default-pager) in more than one place, since it just sets a flag.

> How would one set that up ?  Can we document all this stuff somewhere ?

Indeed you can. :-)

Reply to: