> motivated cs students who want to learn more than what their typical operating system courses has to offer.

When I studied at UT, the OS course lets you build an OS. It was brutal. 80 hour per week brutal. But what I took away from the course is not the class notes but really the Prof/TA comments when we used to come up with design issues when we fucked up lower abstraction layers or subtle, really really subtle bugs that were introduced at previous levels.

To be honest, I am not sure how that would be replicable in book form if not accompanied by a teacher. Either you are so vague that people muddle, then google and your book is effectively useless. Or you are so prescriptive that people end up reading a floor plan to build an OS and get squat out of it.