I wish I would have known about this sooner. I taught an undergraduate OS course last year and the students found the Tanenbaum book to be very abstract and dry. It would have been nice to mix in some of this material.
I recently bought Operating Systems: Three Easy Pieces after hearing good things about it. Didn't really have time to go through it yet, but it does seem interesting. There's also a free PDF version.