Re: documenting the default_pager interface

[Roland McGrath]

> Roland, do you think the default_pager interface should be documented in the
> Hurd manual?  The Mach kernel still has the old interface definition, but as
> it is not used by the kernel at all, and you have introduced our own in the
> Hurd, it seems to make sense to me not to document the default_pager
> interface in our Mach at all (but have the documentation in the Hurd manual).

Sounds ok to me.

> I think at some time I will go in the Mach sources with a large knife and
> cut out all of the old stuff that is just there to confuse me ;)

That's what oskit-mach is for.  Let's avoid touching gnumach for anything
but necessary bug fixes.