Textbooks

• Operating Systems: Principles and Practice (2nd Edition), by Tom Anderson and Mike Dahlin.

Lecture Readings

Required

• Multics Design
• Multics VM
• Unix
• Paging
• Burroughs

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 - kernel/drivers/ide.c
  • AT Attachment with Packet Interface - 6, ANSI
• VGA display - kernel/drivers/cga.c
  • VESA BIOS Extension (VBE) 3.0, VESA
• Keyboard and Mouse - kernel/drivers/keyboard.c
  • Adam Chapweske’s resources
• 16550 UART Serial Port - kernel/drivers/uart.c
  • Technical Data on 16550, Byterunner Technologies
  • Interfacing the Serial / RS232 Port, Craig Peacock
• Advanced Configuration and Power Interface (ACPI) - arch/x86_64/kernel/mm/pmem.c
  • Advanced Configuration and Power Interface Specification, Version 6.0, UEFI Forum
• Advanced Programmable Interrupt Controller (APIC) - arch/x86_64/kernel/lapic.c, arch/x86_64/kernel/ioapic.c
  • 82093AA I/O Advanced Programmable Interrupt Controller (IOAPIC), Intel
  • Intel 64 Architecture x2APIC Specification, Intel
• 8259/8259A Programmable Interrupt Controller (PIC) - arch/x86_64/kernel/pic.c
  • 8259A Programmable Interrupt Controller, Intel
• Advanced Host Controller Interface (AHCI)
  • Serial ATA Advanced Host Controller Interface (AHCI), Intel
• Timing
  • IA-PC HPET (High Precision Event Timers) Specification, Intel
  • 82C54 - CMOS Programmable Interval Timer, Intel