Textbooks

• Operating Systems: Principles and Practice (2nd Edition), by Tom Anderson and Mike Dahlin.
• xv6: a simple, Unix-like teaching operating system, by Russ Cox, Frans Kaashoek, and Robert Morris.

Lecture Readings

Unix

• The UNIX Operating System, AT&T Archives at YouTube
• The UNIX Time-Sharing System, Dennis M. Ritchie and Ken L.Thompson, Bell System Technical Journal 57(6)
• The Evolution of the Unix Time-sharing System, Dennis M. Ritchie

x86

• Intel 80386 Programmer’s Reference Manual (pdf)
• Intel 64 and IA-32 Architectures Software Developer’s Manuals
  • Volume 1: Basic Architecture
  • Volume 2: Instruction Set Reference, A–Z
  • Volume 3: System Programming Guide
• AMD64 Architecture Programmer’s Manual
• Executable and Linking Format (ELF) Specification
• GCC inline assembly language
  • Brennan’s Guide to Inline Assembly, Brennan “Mr. Wacko” Underwood
  • Inline assembly for x86 in Linux, Bharata B. Rao, IBM
  • GCC-Inline-Assembly-HOWTO, Sandeep.S

PC hardware programming

• PC bootstrap
  • Minimal Intel Architecture Boot Loader, Intel
  • “El Torito” Bootable CD-ROM Format Specification, Curtis E. Stevens and Stan Merkin
  • The Multiboot Specification, Yoshinori K. Okuji, Bryan Ford, Erich Stefan Boleyn, and Kunihiro Ishiguro
  • Unified Extensible Firmware Interface Specification, Version 2.5, UEFI Forum
• IDE hard drive controller - boot/main.c
  • AT Attachment with Packet Interface - 6, ANSI
• VGA display - kern/console.c
  • VESA BIOS Extension (VBE) 3.0, VESA
• Keyboard and Mouse - kern/console.c
  • Adam Chapweske’s resources
• 16550 UART Serial Port - kern/console.c
  • Technical Data on 16550, Byterunner Technologies
  • Interfacing the Serial / RS232 Port, Craig Peacock
• IEEE 1284 Parallel Port - kern/console.c
  • IEEE 1284 - Updating the PC Parallel Port, National Instruments
  • Interfacing the Standard Parallel Port, Craig Peacock
• Advanced Configuration and Power Interface (ACPI) - kern/acpi.c, kern/e820.c
  • Advanced Configuration and Power Interface Specification, Version 6.0, UEFI Forum
• Advanced Programmable Interrupt Controller (APIC) - kern/lapic.c, kern/ioapic.c
  • 82093AA I/O Advanced Programmable Interrupt Controller (IOAPIC), Intel
  • Intel 64 Architecture x2APIC Specification, Intel
• 8259/8259A Programmable Interrupt Controller (PIC) - kern/picirq.c
  • 8259A Programmable Interrupt Controller, Intel
• Advanced Host Controller Interface (AHCI) - fs/ahci.c
  • Serial ATA Advanced Host Controller Interface (AHCI), Intel
• Timing
  • IA-PC HPET (High Precision Event Timers) Specification, Intel
  • 82C54 - CMOS Programmable Interval Timer, Intel