* Design and implementation of the FreeBSD operating system: Good and thorough deep dive in FreeBSD OS. Must have.
* FreeBSD Device Drivers: A Guide for the Intrepid: Didn't quite read it all but looks fine for FreeBSD.
* Mac OSX internals - a systems approach by Amit Singh: It was good back in days but now outdated.
* Linux Device Drivers, 3ed : Very dated but still good to grasp Linux device drivers in general. The code examples are bit silly but good enough. There are some GitHub repos which have updated code for latest kernels.
* Essential Linux Device Drivers by S Venkateswaran: It complements LDD3 book quite nicely. Has some real device examples and very exhaustive. Must have.
* Linux kernel development by Robert Love: Very good for short/quick intro. Best for preparing before interviews ;)
* Professional Linux kernel architecture by Wolfgang Mauerer: As other book, its dated but some of the explanations about interrupts, PCI, etc are good. His callgraph approach was very handy in understanding things.
* The Linux programming interface by Michael Kerrisk: Not really about OS but next thing close to it - system programming (the real system programming). Must have.
* Understanding Linux virtual memory manager by Mel Gorman: As other books, it's dated but still one of the best available to get a handle on memory management under Linux. Must have.
* Understanding the Linux kernel: Dated but still my go to book to refresh certain subsystems. Must have.
* Linux Kernel Programming by Michael Beck: Mentioned for historical reasons, else most out dated book here (2.4 based). Horrible editing and English but heck! I loved it back in the days :)
* Linux kernel networking by Rami Rosen: Never read it but quite dated.
* Understanding Linux network internals by Christian Benvenuti: A real bible of Linux networking. If nothing else, your jaw drops at the effort author made to write this book. Dated but unlike more generic Linux kernel things, network stack is still same in its core. Must have.
* The Linux kernel primer: A top-down approach for x86 and PowerPC Architecture: Very dated book but good to read from PPC perspective. Lot of things have changed since its publication.
* See MIPS Run by Dominic Sweetman: dated but gives good idea about MIPS internals and how Linux uses it.
* IA-64 Linux Kernel: Design and Implementation: Its dated not just w.r.t code but also w.r.t. hardware. Nonetheless, it gives a good insight into IA-64 architecture and Linux from non-x86 perspective.
* Definitive guide to Xen hypervisor: this is the only book on virtual machine which is not just from user perspective. While best way to learn VM is through reading architecture spec and code, this book still satisfied me w.r.t. virtual machine internals.
Every other book on amazon about Linux kernel is more or less useless. For more academic book, "Operating systems - three easy pieces" is good.
"linux device drivers" was a godsend. this book is written with utter clarity and very well organized. my only wish is that corbet will update it -- i am convinced that there are many embedded devices in the wild still running the 2.6 kernel simply because this book is so damn helpful.
 available online for free! https://lwn.net/Kernel/LDD3/
Recent does not always equate to better, note. There are exercises in Bach that are still relevant today. Milenkovic's 1987 book has a fairly interesting angle on design that one does not find elsewhere.
And several comparative operating systems books do not have the wide range of case studies that such books used to have.
That said: There are some interesting books on Solaris and MacOS internals that I did not have (and indeed that did not exist) when that FGA was written. The Windows NT Internals book is now two books (parts 1 and 2) and on its 7th edition (with a slightly unfortunate cover design, per https://news.ycombinator.com/item?id=14321672). And of course there is a FreeBSD D&I book.
I've also bought an interesting old book on VMS internals, since then. It discusses ODS.
Have you ever checked out OSTEP: Three Easy Pieces? (http://pages.cs.wisc.edu/~remzi/OSTEP/) I am finding that a much more accessible, organized, and easy-to-ready resource than Tanenbaum's Modern Operating Systems. What do you think of it?
Also, I've recently got my hands on "Practical Filesystem Design," written by the developer of the BeOS filesystem. A PDF is available here: http://www.nobius.org/dbg/practical-file-system-design.pdf