Hi,

I was reading through Chuck Silver's UVM dissertation when it occurred
to me that there are a few features ( page_loanout and friends ) which
remind me of the L4 microkernel mapping-granting stuff.

Aside from all the performance arguments it should be an interesting
exercise  to reduce the netbsd kernel into a micro-ish kernel pushing
out as much of the kernel as possible into Userspace. Comments about
the challenges of such an exercise would be interesting.

Thanks,
--=20
~Cherry