> 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. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
