I read somewhere that Apple even uses Linux kernels to bring up new hardware but I don't know if it's actually/still true.