One of the best CS textbooks I've ever read. I recently reached out to my OS prof because I couldn't remember the title. Funny to see it posted on HN a couple days later.