[lambdaelite]

Funny you mentioning L4... based on the HN title, my first thought/hope was someone got seL4 running with the NetBSD userland.

[justincormack]

Are you interested in this? I am planning to get the NetBSD rump kernel running on sel4 at some point soonish, not quite the same but you would get much of userland. (Email in profile).