cs5460 Operating Systems
Spring 2014, University of Utah
Xv6 a Simple, Unix-like Teaching Operating System. Russ Cox, Frans Kaashoek, Rober Morris
Intel 64 and IA-32 Architectures Software Developer's Manual (Combined volumes)