Re: providing memory objects to users

[Neal H. Walfield]

> 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.