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{: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.
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