カーネルのソースを読むにあたり参考になる良書があれば教えてください。
C言語は分かります（素人以上プロ未満程度）