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.