Now you’ve got me questioning myself, never claimed to be an expert…
Edit: yep I’m wrong, a microkernel was developed, but looks like it eventually made it’s way to GNU Hurd and not really implemented into the BSDs. I recall coming across when looking into different OSs, I guess I got it mixed up.