scaricati il sorgente del kernel c'è anche la documentazione