SSE3044F14.Resources History

Hide minor edits - Show changes to markup

August 18, 2014, at 05:07 AM by 115.145.179.182 -
Added lines 1-43:

SSE3044: Operating Systems (Fall 2014)

[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
  • 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