The idea of some kind of microkernel project aimed at the #bsd world has been floating around between me and some of my lab colleagues for some time now.
I think the overall rationale has coalesced enough to warrant talking about it. I will probably aim to produce some kind of vision whitepaper on this, once I get clear of some personal stuff.