[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

G. Installing Pintos

This chapter explains how to install a Pintos development environment on your own machine. If you are using a Pintos development environment that has been set up by someone else, most of these instructions will have been taken care of for you.

Students are strongly advised to develop Pintos on a 32-bit Linux platform. Pintos is a 32-bit operating system and requires 32-bit compiler and linker support, and this is increasingly uncommon in modern Linux distributions. Pintos has been most extensively tested on GNU/Linux, in particular the Debian and Ubuntu distributions. It is not designed to install under any form of Windows, including with Cygwin. Similarly, macOS has enough differences that it is extremely difficult to get Pintos working on it; therefore macOS is not supported as a platform for Pintos.

Because most students don't have access to a 32-bit Linux platform, a virtual machine image is made available for use. For details, see section F.4 Virtual Machine.

Prerequisites for installing a Pintos development environment include the following, on top of standard Unix utilities. Note: if you are using the provided virtual-machine image, you should skip over these items and jump down to the Pintos installation step 2.

Once these prerequisites are available, follow these instructions to install Pintos:

  1. Install Bochs, version 2.2.6, as described below (see section G.1 Building Bochs for Pintos).

  2. Make scripts from src/utils available on the path. Either copy backtrace, pintos, pintos-gdb, pintos-mkdisk, pintos-set-cmdline, and Pintos.pm into the default PATH, or simply update PATH to point to where these files are located.

  3. Install src/misc/gdb-macros in a public location. Then use a text editor to edit the installed copy of pintos-gdb, changing the definition of GDBMACROS to point to where you installed gdb-macros. Test the installation by running pintos-gdb without any arguments. If it does not complain about missing gdb-macros, it is installed correctly.

  4. Compile the remaining Pintos utilities by typing make in src/utils. Make sure that squish-pty is available on the path, either by copying it somewhere in PATH, or by updating PATH to point to it. To support VMware Player, install squish-unix. If your Perl is older than version 5.8.0, also install setitimer-helper; otherwise, it is unneeded.

  5. Pintos should now be ready for use. If you have the Pintos reference solutions, which are provided only to faculty and their teaching assistants, then you may test your installation by running make check in the top-level tests directory. The tests take between 20 minutes and 1 hour to run, depending on the speed of your hardware. Alternately, you can try running the `alarm-multiple` test, as described in the introduction.

  6. Optional: Build the documentation, by running make dist in the top-level doc directory. This creates a WWW subdirectory within doc that contains HTML and PDF versions of the documentation, plus the design document templates and various hardware specifications referenced by the documentation. Building the PDF version of the manual requires Texinfo and TeX (see above). You may install WWW wherever you find most useful.

    The doc directory is not included in the .tar.gz distributed for Pintos. It is in the Pintos CVS tree available via :pserver:anonymous@footstool.stanford.edu:/var/lib/cvs, in the pintos module. The CVS tree is not the authoritative source for Stanford course materials, which should be obtained from the course website.


G.1 Building Bochs for Pintos

Upstream Bochs has bugs and warts that should be fixed when used with Pintos. Thus, Bochs should be installed manually for use with Pintos, instead of using the packaged version of Bochs included with an operating system distribution.

Two different Bochs binaries should be installed. One, named simply bochs, should have the GDB stub enabled, by passing --enable-gdb-stub to the Bochs configure script. The other, named bochs-dbg, should have the internal debugger enabled, by passing --enable-debugger to configure. (The pintos script selects a binary based on the options passed to it.) In each case, the X, terminal, and "no GUI" interfaces should be configured, by passing --with-x --with-x11 --with-term --with-nogui to configure.

This version of Pintos is designed for use with Bochs 2.2.6. A number of patches for this version of Bochs are included in src/misc:

bochs-2.2.6-big-endian.patch

Makes the GDB stubs work on big-endian systems such as Solaris/Sparc, by doing proper byteswapping. It should be harmless elsewhere.

bochs-2.2.6-jitter.patch

Adds the "jitter" feature, in which timer interrupts are delivered at random intervals (see section 1.1.4 Debugging versus Testing).

bochs-2.2.6-triple-fault.patch

Causes Bochs to break to GDB when a triple fault occurs and the GDB stub is active (see section E.6 Triple Faults).

bochs-2.2.6-ms-extensions.patch

Needed for Bochs to compile with GCC on some hosts. Probably harmless elsewhere.

bochs-2.2.6-solaris-tty.patch

Needed for Bochs to compile in terminal support on Solaris hosts. Probably harmless elsewhere.

bochs-2.2.6-page-fault-segv.patch

Makes the GDB stub report a SIGSEGV to the debugger when a page-fault exception occurs, instead of "signal 0." The former can be ignored with handle SIGSEGV nostop but the latter cannot.

bochs-2.2.6-paranoia.patch

Fixes compile error with modern versions of GCC.

bochs-2.2.6-solaris-link.patch

Needed on Solaris hosts. Do not apply it elsewhere.

To apply all the patches, cd into the Bochs directory, then type:

 
patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-big-endian.patch
patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-jitter.patch
patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-triple-fault.patch
patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-ms-extensions.patch
patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-solaris-tty.patch
patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-page-fault-segv.patch
patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-paranoia.patch
patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-solaris-link.patch
You will have to supply the proper $PINTOSDIR, of course. You can use patch's --dry-run option if you want to test whether the patches would apply cleanly before trying to apply them.

Sample commands to build and install Bochs for Pintos are supplied in src/misc/bochs-2.2.6-build.sh.


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by Donnie Pinkston on April, 5 2021 using texi2html