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, you do not need to read this chapter or follow these instructions.

The Pintos development environment is targeted at Unix-like systems. It has been most extensively tested on GNU/Linux, in particular the Debian and Ubuntu distributions, and Solaris. It is not designed to install under any form of Windows.

Prerequisites for installing a Pintos development environment include the following, on top of standard Unix utilities:

• Required: GCC. Version 4.0 or later is preferred. Version 3.3 or later should work. If the host machine has an 80x86 processor, then GCC should be available as gcc; otherwise, an 80x86 cross-compiler should be available as i386-elf-gcc. A sample set of commands for installing GCC 3.3.6 as a cross-compiler are included in src/misc/gcc-3.3.6-cross-howto.

• Required: GNU binutils. Pintos uses addr2line, ar, ld, objcopy, and ranlib. If the host machine is not an 80x86, versions targeting 80x86 should be available with an i386-elf- prefix.

• Required: Perl. Version 5.8.0 or later is preferred. Version 5.6.1 or later should work.

• Required: GNU make, version 3.80 or later.

• Required: QEMU, version 0.8.0 or later.

• Recommended: GDB. GDB is helpful in debugging (see section E.5 GDB). If the host machine is not an 80x86, a version of GDB targeting 80x86 should be available as i386-elf-gdb.

• Recommended: X. Being able to use an X server makes the virtual machine feel more like a physical machine, but it is not strictly necessary.

• Optional: Texinfo, version 4.5 or later. Texinfo is required to build the PDF version of the documentation.

• Optional: TeX. Also required to build the PDF version of the documentation.

• Optional: VMware Player. This is a third platform that can also be used to test Pintos.

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

1. Install QEMU by running sudo apt-get install qemu-kvm

2. Fetch pintos.tar.bz2 and extract the source for Pintos into a directory named pintos, by executing tar -xvf /path/to/pintos.tar.bz2

3. Add src/utils into the default path by adding a statement export PATH=$PATH:path-to-pintos/src/utils to your $HOME/.bashrc file.

4. Use a text editor to edit src/utils/pintos-gdb, changing the definition of GDBMACROS to point to path-to-pintos/src/misc/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.

5. Compile the remaining Pintos utilities by typing make in src/utils.

6. Pintos should now be ready for use.