Re: providing memory objects to users

[Roland McGrath]

> My intuition tells me that the default pager should really be sitting in
> the file system, e.g. /servers/default-pager, and accept requests for
> default_pager_object_create et al. there.

Certainly so.  We have long planned this to be the case for a new default
pager implementation.  But we are still using the CMU implementation, and
any Mach default pager implementation needs to take very special care to be
robust and deadlock-free in the paging path.  This is easiest to ensure by
not having any untrusted entry points like user RPCs, and that's how it is now.