4 ms·
Funny you mentioning L4... based on the HN title, my first thought/hope was someone got seL4 running with the NetBSD userland.
by lambdaelite 11y ago
Funny you mentioning L4... based on the HN title, my first thought/hope was someone got seL4 running with the NetBSD userland.
- justincormack 11y agoAre 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).