[jks]

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

But admittedly it doesn't seem to have quite the following of those two other BSDs.