4 ms·NetBSD rump kernels come to mind, they've been around for a few yearsby mrpippy 8y agoNetBSD rump kernels come to mind, they've been around for a few years