InstallingPintosTools » History » Version 5
PhoenixForge Admin, 10/04/2012 03:21 PM
1 | 1 | Borja Sotomayor | h1. Installing Pintos on your Computer |
---|---|---|---|
2 | 1 | Borja Sotomayor | |
3 | 1 | Borja Sotomayor | All the tools necessary to run Pintos are already installed in the Maclab, but you can also install them on your own machine. Although the Pintos documentation includes a section on "Installing Pintos":http://www.classes.cs.uchicago.edu/archive/2011/winter/23000-1/pintos/doc/html/pintos_12.html, we have prepared a script that will automate most of the steps. The original documentation on installing Pintos is still worth reading in case you're missing some required libraries. |
4 | 1 | Borja Sotomayor | |
5 | 1 | Borja Sotomayor | First of all, [[GettingPintosCode|get the Pintos code]]. We will refer to the directory where you've checked out the code as @$PINTOS_DIR@ (this directory should be the one that contains the @src@ directory). |
6 | 1 | Borja Sotomayor | |
7 | 1 | Borja Sotomayor | Next, download the "Bochs 2.2.6 tarball":https://phoenixforge.cs.uchicago.edu/attachments/download/27/bochs-2.2.6.tar.gz from PhoenixForge. We are using this specific version because we can patch it to obtain some additional functionality that will come in handy when developing your project. You can use newer versions of Bochs, but you may run into some trouble when running Pintos. Download this tarball into any directory (we will refer to it as @$BOCHS_LOCATION@). |
8 | 1 | Borja Sotomayor | |
9 | 3 | Borja Sotomayor | Finally, choose a directory to install the Pintos tools in (e.g., /opt/pintos). We will refer to it as @$TOOLS_DIR@ |
10 | 1 | Borja Sotomayor | |
11 | 1 | Borja Sotomayor | Now, just run the following: |
12 | 1 | Borja Sotomayor | |
13 | 1 | Borja Sotomayor | <pre> |
14 | 3 | Borja Sotomayor | $PINTOS_DIR/src/misc/build-pintos-tools $PINTOS_DIR $TOOLS_DIR $BOCHS_LOCATION |
15 | 1 | Borja Sotomayor | </pre> |
16 | 3 | Borja Sotomayor | |
17 | 3 | Borja Sotomayor | You will see a flurry of compilation messages, including many warnings about deprecated features. This is normal. If the build process concludes without any error messages at the end, the script was successful. |
18 | 3 | Borja Sotomayor | |
19 | 3 | Borja Sotomayor | The Pintos tools are now installed in $TOOLS_DIR/bin (add this to your $PATH, unless you want to type the full path every time). Note that the Bochs binaries are installed as @bochs-pintos@ and @bochs-pintos-dbg@, which will not conflict with other Bochs binaries installed on your system. The @pintos@ tool, however, will use the Pintos-patched @bochs-pintos@ by default. |
20 | 3 | Borja Sotomayor | |
21 | 3 | Borja Sotomayor | At this point, you should be able to follow the instructions in the Pintos documentation (including use of the @pintos@ command). |