
"This book is organized around three concepts fundamental to OS construction: virtualization (of CPU and memory), concurrency (locks and condition variables), and persistence (disks, RAIDS, and file systems"--Back cover.
My usual recommendation for students and practitioners interested in OS theory and internals with a solid practical connection is Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau's (University of Wisconsin-Madison) "Operating Systems: Three Easy Pieces".
The book is available for free as PDF from https://pages.cs.wisc.edu/~remzi/OSTEP/
Operating Systems: Three Easy Pieces, by Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau
The Elements of Computing Systems - Noam Nisan, Shimon Schocken
Operating Systems: Three Easy Pieces - Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau
Remzi H Arpaci-Dusseau, Andrea C Arpaci-Dusseau"
It is by one of the coauthors of the Hennessy and Patterson book and it is uptodate, well written and free.
http://pages.cs.wisc.edu/~remzi/OSTEP/
The book's page also has links to other interesting books on operating systems and lobsters (sic).
The author's teaching page links to excellent undergraduate and graduate level OS material.
Operating systems: "Operating Systems: Three Easy Pieces" by Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau (http://pages.cs.wisc.edu/~remzi/OSTEP/).
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau. It is free here http://ostep.org/