Found in 2 comments on Hacker News
molteanu · 2015-09-08 · Original thread
Personally, I enjoyed the "Operating System Design: The Xinu Approach", by Comer:

http://www.amazon.com/Operating-System-Design-Approach-Editi...

Fresh book recommendations delivered straight to your inbox every Thursday.