Overview

In this section, we will describe the general layout of the PintOS source code, how to modify it, and how to connect GDB to PintOS.

---

Table of contents

• Getting Started
• PintOS Source Tree
• Building PintOS
• Using the File System
• Getting Started
• Debugging PintOS Tests
• Debugging Page Faults
• Debugging Panics
• Adding Source Files