Was ist der Unterschied zwischen dem MacOS- und dem Linux-Kernel?