FreeBSDカーネルのソースコードを読むには

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