I am very aware of the situation of what Mac OS and Linux kernels and userspace are.

I work for Red Hat in the kernel maintenance team.

Edit: i just realised you were doubting the correctness that it was BSD, not that I knew.

You say that like it's something completely different, but XNU is a BSD, with a lot of code inherited from FreeBSD in particular.