Use macros for 8259A PIC registers, instead of writing them literally.

[pintos-anon] / doc / installation.texi

diff --git a/doc/installation.texi b/doc/installation.texi
index f513a746134336fca132e91db2bd096163c8210e..0fc7b0673c7ab81ba06ce0ad823ff7b4585daecd 100644 (file)
--- a/doc/installation.texi
+++ b/doc/installation.texi
@@ -112,6 +112,13 @@ 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 @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
@@ -165,6 +172,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.
@@ -178,6 +195,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