I'm going to say that the rump kernel is an innovation: https://en.wikipedia.org/wiki/Rump_kernel https://en.wikipedia.org/wiki/Rump_kernel But admittedly it d

I'm going to say that the rump kernel is an innovation: https://en.wikipedia.org/wiki/Rump_kernel https://en.wikipedia.org/wiki/Rump_kernel But admittedly it doesn't seem to have quite the following of those two other BSDs.