El sistema de construcción de Linux oficialmente solo soporta GCC como núcleo y compilador de controlador.