Zandre, Acessei o link que você postou; no entanto, lá está escrito que o kernel é distribuído em formato binário. O que eu estou tentando entender é se seria possível conseguí-lo em um formato que eu pudesse abrir e ver o conteúdo.