Olá.Da uma olhada na documentação em www.debian-br.org, tem um manual só de kernel. Outra boa referência é o guia foca linux intermedário, tem coisas bem legais sobre o kernel também. Este acha em focalinux.cipsga.org.br.
Abraços. -- jupercio juliano GNU/Linux User #262957 <www.counter.li.org> DebianUser <www.debian-br.org>