¿Qué materiales (tutoriales / libros) se recomiendan para estudiar la teoría detrás de los sistemas operativos (núcleos, etc.)?

Además del libro de Andrew Tanenbaum, también recomiendo The Design and Implementation of the FreeBSD Operating System (2nd Edition): Marshall Kirk McKusick, George V. Neville-Neil, Robert NM Watson: 9780321968975: Amazon.com: Books. Tengo la edición de 2004, pero este enlace es para la última edición de 2014.
A diferencia de otros libros más prácticos, este tiende a explicar más el concepto.

Por supuesto, también sería útil para usted obtener una copia (o más) de muchos de los sistemas operativos modernos en uso generalizado, como:

  • Arquitectura profesional del kernel de Linux: Wolfgang Mauerer: 9780470343432: Amazon.com: Libros
  • Amazon.com: Linux Kernel Development (3rd Edition) (9780672329463): Robert Love: Libros
  • Windows Internals, Parte 1 (6ª Edición) (desarrollador de referencia): Mark Russinovich, David Salomón, Alex Ionescu: 9780735648739: Amazon.com: Libros
  • Solaris Internals: Solaris 10 y OpenSolaris Kernel Architecture (2nd Edition): 9780131482098: Computer Science Books @ Amazon.com

Mi opinión personal sobre estos libros, después de leer brevemente, son que se preparan a detalles de implementación más prácticos (con fragmento de código), en comparación con el diseño e implementación del sistema operativo FreeBSD.

Además, hay algunos títulos que aún no he leído, por lo que puedo comentar, pero espero que también puedan serle útiles:

  • El arte del diseño del núcleo Linux: Para ilustrar el principio del diseño del sistema operativo y de implementación: Lixiang Yang: 9781466518032: Amazon.com: Libros
  • Linux con conceptos de sistema operativo: Richard Fox: 9781482235890: Amazon.com: Libros
  • Componentes internos de Mac OS X e iOS: Al núcleo de Apple: Jonathan Levin: 9781118057650: Amazon.com: Libros
  • Componentes internos de Mac OS X: Un enfoque de sistemas: Amit Singh: 9780321278548: Amazon.com: Libros

Andrew Tanenbaum es todavía difícil de superar los sistemas operativos modernos (3ª edición): Andrew S. Tanenbaum: 9780136006633: Amazon.com: Libros. Él y el padre de Linux no están de acuerdo en los enfoques fundamentales para la implementación del sistema operativo. Me gusta el estilo didáctico de Tanenbaum.