1. Operating System Concepts (9th Edition)
   
2. Operating Systems: Internals and Design Principles (7th Edition)
   
3. Modern Operating Systems (3rd Edition)
   
4. Operating Systems Design and Implementation (3rd Edition)
   
5. The Design and Implementation of the FreeBSD Operating System
   

Lectures

1. Operating Systems Conferences Calendar
2. SOSP: Symposium on Operating Systems Principles [2013]
3. EuroSys: The European Professional Society on Computer Systems [2013]
4. NOSSDAV: International Workshop on Network and Operating Systems Support for Digital Audio ad Video [2013]
5. OSDI: Symposium on Operating Systems Design and Implementation [2012]
6. VEE: Virtual Execution Environments [2012]

Research groups

1. Parallel & Distributed Operating Systems Group at MIT
2. TUD:OS at Dresden University of Technology

1. seL4: Formal Verification of an OS Kernel
   
2. NOVA: A Microhypervisor-Based Secure Virtualization Architecture
   

1. L4Ka Project
2. Secure Microkernel Project (seL4)
3. Fiasco.OC

Security-focused kernels

1. CapROS: The Capability-based Reliable Operating System
2. The Coyotos Secure Operating System

Exokernels

1. XOmB
   

Single Address Space Operating System (SASOS)

1. AROS: Amiga Research Operating System
   
2. BareMetal OS