Wiki¶

• Getting the Pintos code into your PhoenixForge repository: Although you can follow the instructions in the Pintos documentation, this page includes instructions for a slightly more elaborate procedure that will make it easier to update your code if we ever make any changes upstream.
• Installing Pintos on your Computer: Instructions for installing the Pintos tools, and the patched version of Bochs, on your own machine.