『BSDカーネルの設計と実装』読書会についてまとめます。