SWE3004: Operating Systems (Spring 2013)

[Resources]

• Pintos
  • Pintos Source Codes (local copy)
  • Pintos Documentation
  • Pintos Documentation in PDF (local copy)
  • Stanford Operating Systems Course Homepage (CS140)
  • Basic materials you need to study before starting any project:
    • Getting Started
    • Installing Pintos
    • Development Tools
    • Debugging Tools
    • Project Documentation
• Using GCC version 4.1.2 on Ubuntu
  • Installing pre-built GCC 4.1.2 binaries
  • Building GCC 4.1.2 on Ubuntu 12.04.1 LTS
  • Using GCC 4.1.2 for Pintos
  • Using QEMU for Pintos
• Bochs
  • Bochs IA-32 Emulator
  • Note: Pintos is designed for use with Bochs 2.2.6
• QEMU
  • QEMU: Open source processor emulator
• Linux
  • Installing and running Linux: Linux is easy.pdf (by SKKULUG, Korean, 2010)
• Development Tools
  • gdb: The GNU debugger
  • make: The GNU make utility
  • tar: The tar archiving utility
  • ctags: Generate tag files for source code
  • CVS: Concurrent Versions System
  • subversion: Apache Subversion (online book)
• Useful Links
  • Linux Kernel Linked List Explained