Overview

In this section, we’ll 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
• Running Pintos tests
• Debugging Pintos tests
• Debugging page faults
• Debugging panics
• Adding source files
• Why Pintos?