I used this book as a primary reference for OS design (along with The Dinosaur Book) when designing my hobby OS.

The FreeBSD kernel/world is almost exquisite in it's engineering simplicity. Compared to the sometimes chaotic world of GNU/Linux (in my experience).