Course notes

xv6, a simple Unix-like teaching operating system       xv6 book       source code booklet

Operating Systems: Three Easy Pieces, by Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau

Operating System Concepts, by Silberschatz, Galvin and Gagne

Think OS A Brief Introduction to Operating Systems, by Allen B. Downey