[rkrzr]

For a comprehensive book on the theory behind operating systems I can recommend "Modern Operating Systems" by Andrew S. Tanenbaum.

It does not focus on the concrete implementation of an OS though.

[DonaldFisk]

Operating Systems: Design and Implementation by Tanenbaum and Woodhull covers the implementation of Minix.