Why is this convo about kernels so angry? And macOS isn't even based on a microkernel.