SSE3044F12.Resources History
Hide minor edits - Show changes to markup
Changed line 20 from:
to:
Changed line 20 from:
to:
Changed line 17 from:
- Using gcc version 4.1.2 on Ubuntu
to:
- Using GCC version 4.1.2 on Ubuntu
Changed line 17 from:
- Using gcc version 4.1.2 on Ubuntu
to:
- Using gcc version 4.1.2 on Ubuntu
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
Added lines 17-20:
- Using gcc version 4.1.2 on Ubuntu 12.04.1 LTS
Changed line 38 from:
to:
Changed line 34 from:
to:
Changed line 34 from:
to:
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