以下の記事に、FreeBSDのカーネルのソースコードを読んで理解しようとしたとき、どこから手をつければいいかということがまとめられています。これは参考になるかも。
Reading the FreeBSD Kernel « int 80
ねぶた馬鹿