SSE3044F12.Resources History

Hide minor edits - Show changes to markup

September 11, 2012, at 09:37 AM by 115.145.179.107 -
September 03, 2012, at 08:20 AM by 115.145.179.107 -
September 01, 2012, at 04:54 AM by 115.145.179.182 -
Added line 20:
September 01, 2012, at 03:50 AM by 115.145.179.182 -
Changed line 17 from:
  • Using gcc version 4.1.2 on Ubuntu
to:
  • Using GCC version 4.1.2 on Ubuntu
September 01, 2012, at 03:50 AM by 115.145.179.182 -
Changed line 17 from:
  • Using gcc version 4.1.2 on Ubuntu
to:
  • Using gcc version 4.1.2 on Ubuntu
September 01, 2012, at 03:29 AM by 115.145.179.182 -
Changed line 17 from:
  • Using gcc version 4.1.2 on Ubuntu 12.04.1 LTS
to:
  • Using gcc version 4.1.2 on Ubuntu
September 01, 2012, at 03:29 AM by 115.145.179.182 -
Added lines 17-20:
Changed line 38 from:
to:
August 31, 2012, at 04:41 PM by 115.145.179.182 -
Changed line 34 from:
to:
August 31, 2012, at 04:40 PM by 115.145.179.182 -
Added line 34:
July 31, 2012, at 06:38 AM by 115.145.212.145 -
Added lines 1-36:

SSE3044: Operating Systems (Fall 2012)

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