I love the XINU book. Just beautiful writing. Used it recently while building my own memory allocator. Will give you a lot of insight.

The Thomas Anderson books are a multi-volume guide to OSs.