There is the classic by Vahalia on UNIX implementation (new edition supposedly coming out ) which, is in my always humble opinion the only worthwhile modern OS textbook although the original edition of Shaw’s book is good too. It’s depressing to see that my list has not changed in 10 years – either I’m fossilized or nobody is writing good OS books (or both).
Any other suggestions?
The BSD books are nice, but more tours of BSD implementation than anything illuminating on OS design. Tannenbaum’s book on MINIX is at the same level – these books are valuable, no doubt. But most OS textbooks are vague treatises on threaded programming. Just wait until I get a free weekend and write my magnum opus: “Rob Pike was right, OS development is so over, why didn’t I go work for Google?”