Su código fuente está disponible para descarga en el sitio web oficial: http://www.kernel.org