> I am confused as to why using default_pager_object_create is not working. > That's what tmpfs does.
Sure, but only if you are root. The major flaw with the current design is that you need to have the device master port to actually be able to talk to the default pager (not only awkward, but also a Machism). Admittedly this is trivially worked around by using vm_allocate followed by a vm_region, however, this is still nothing more than a hack. 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. _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
