HOWTOs¶
- 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.
- Booting Pintos from a USB drive