SSE3044F13.Resources History
Hide minor edits - Show changes to markup
Added lines 1-43:
SSE3044: Operating Systems (Fall 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
- 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