OS programming requires looking up documentations of various sorts, e.g., ISA, hardware interfaces, compilers, architecture. Often times, the lengthy manual is the only reference that is available. Pintos is a small and simple OS. But in doing the projects, you will run into many situations where you need to look up some documentation. This course will be one of the few courses where you will be reading a lot of documentations, which hopefully helps you become efficient at it and write better documentations later. For the listed references, you don’t need to go over them from beginning to end at once unless it’s recommended so.

Pintos

• You should read everything below before attempting any of the projects:
  • Project Guide
  • Setup Instructions
  • Getting Started
  • Coding Standards
  • Design Document
• You need not read the reference guide, but you may find the information in it valuable from time to time:
  • Reference Guide
• You’ll want to read these once you start work on the projects. Their advice can save you a lot of time:
  • Debugging Tools
  • Development Tools

• Bracketed notations in Pintos source code comments can be looked up in the Bibliography. The corresponding manual (e.g., ELF specification) will be fount in the link of the Bibliography.

• Pintos Documentation PDF Bundle

---

x86 Emulator

• QEMU: a popular, fast CPU emulator and virtualizer.
  • Documentation
• Bochs: another popular x86 emulator. slower than QEMU, but more mature and faithful.
  • Documentation

Check out Phair, Patternful AI, and CircleCoder