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

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.