I’ll be damned, I did not realize. I’d heard of it and filed it away as an odd bit of trivia, but checking just now it is indeed its own kernel.

Thanks for the fact check!