3 ms·
You can already run NetBSD in userland (rump kernel).
by justincormack 8y ago
You can already run NetBSD in userland (rump kernel).
- tptacek 8y agoRight, I'm not being very precise; you don't necessarily want the whole kernel (because then you have to model inputs for all the interactions with all the kernel subsystems), but rather to isolate the one component under test.