Subject: L4 and NetBSD
To: None <firstname.lastname@example.org>
From: Cherry G. Mathew <email@example.com>
Date: 08/07/2005 12:31:27
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.