3.80 or later.
@item
-Recommended: @uref{http://fabrice.bellard.free.fr/qemu/, qemu}, version
-0.8.0 or later. If qemu is not available, Bochs can be used, but its
+Recommended: @uref{http://fabrice.bellard.free.fr/qemu/, QEMU}, version
+0.11.0 or later. If QEMU is not available, Bochs can be used, but its
slowness is frustrating.
@item
the PDF version of the documentation.
@item
-Optional: @uref{http://www.vmware.com/, VMware GSX Server}. This is a
+Optional: @uref{http://www.vmware.com/, VMware Player}. This is a
third platform that can also be used to test Pintos.
@end itemize
@item
Install scripts from @file{src/utils}. Copy @file{backtrace},
-@command{pintos}, @command{pintos-gdb}, @command{pintos-mkdisk} into the
-default @env{PATH}.
+@file{pintos}, @file{pintos-gdb}, @file{pintos-mkdisk},
+@file{pintos-set-cmdline}, and @file{Pintos.pm} into the default
+@env{PATH}.
@item
Install @file{src/misc/gdb-macros} in a public location. Then use a
-text editor to edit the installed copy of @command{pintos-gdb}, changing
+text editor to edit the installed copy of @file{pintos-gdb}, changing
the definition of @env{GDBMACROS} to point to where you installed
@file{gdb-macros}. Test the installation by running
@command{pintos-gdb} without any arguments. If it does not complain
@item
Compile the remaining Pintos utilities by typing @command{make} in
@file{src/utils}. Install @file{squish-pty} somewhere in @env{PATH}.
+To support VMware Player, install @file{squish-unix}.
If your Perl is older than version 5.8.0, also install
@file{setitimer-helper}; otherwise, it is unneeded.
specifications referenced by the documentation. Building the PDF
version of the manual requires Texinfo and @TeX{} (see above). You may
install @file{WWW} wherever you find most useful.
+
+The @file{doc} directory is not included in the @file{.tar.gz}
+distributed for Pintos. It is in the Pintos CVS tree available via
+@code{:pserver:anonymous@@footstool.stanford.edu:/var/lib/cvs}, in the
+@code{pintos} module. The CVS tree is @emph{not} the authoritative
+source for Stanford course materials, which should be obtained from the
+course website.
@end enumerate
@menu
Needed for Bochs to compile in terminal support on Solaris
hosts. Probably harmless elsewhere.
+@item 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 @code{handle SIGSEGV nostop} but the latter cannot.
+
+@item bochs-2.2.6-paranoia.patch
+
+Fixes compile error with modern versions of GCC.
+
@item bochs-2.2.6-solaris-link.patch
Needed on Solaris hosts. Do not apply it elsewhere.
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
@end example
@noindent