Subject: L4 and NetBSD
To: None <>
From: Cherry G. Mathew <>
List: tech-kern
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.