On Thu, Sep 27, 2001 at 06:00:03PM -0700, Thomas Bushnell, BSG wrote:
> Marcus Brinkmann <[EMAIL PROTECTED]> writes:
>
> > the default pager in serverboot (also used by mach-defpager) is still using
> > the legacy interfaces memory_object_set_attributes() and
> > memory_object_data_write() to set
Marcus Brinkmann <[EMAIL PROTECTED]> writes:
> the default pager in serverboot (also used by mach-defpager) is still using
> the legacy interfaces memory_object_set_attributes() and
> memory_object_data_write() to set the ready attribute and receive data from
> the kernel. The newer documentatio
Thomas will have to pass judgment on this.
___
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd
