debugger/PROD.md

Debugger Production Manual
========================

First make sure you are familiar with the design of the debugger by reading the
[DESIGN](./DESIGN.md) doc.