X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Finstallation.texi;h=f6dfe44f428bd51e59bf6528e935191ca82c87b9;hp=e9a46ca468aa593c85cc651c05eb2c738070e325;hb=a03618133f7df0954802a470a4bee7674f7aed45;hpb=e928b6a40e8bd2ef7cd5c033ba59939c7396088b

diff --git a/doc/installation.texi b/doc/installation.texi
index e9a46ca..f6dfe44 100644
--- a/doc/installation.texi
+++ b/doc/installation.texi
@@ -79,8 +79,9 @@ described below (@pxref{Building Bochs for Pintos}).
 
 @item
 Install scripts from @file{src/utils}.  Copy @file{backtrace},
-@file{pintos}, @file{pintos-gdb}, @file{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
@@ -115,7 +116,7 @@ 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{: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.
@@ -172,6 +173,16 @@ harmless elsewhere.
 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.
@@ -185,6 +196,8 @@ 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
 @end example
 @noindent