Development in PintOS

Many tools lie at your disposal for developing and debugging in PintOS. This section introduces you to a few of them.

---

Table of contents

• printf
• ASSERT
• Function Parameter Attributes
• Backtraces
• GDB
• Triple Faults