Update Intel architecture guide references to latest.

[pintos-anon] / doc / references.texi

diff --git a/doc/references.texi b/doc/references.texi
index 4e25671787c7239257e4e6ac36fb6e9f2aa03a61..2a3b8d2530a34337a705039cd7bdca440defc34c 100644 (file)
--- a/doc/references.texi
+++ b/doc/references.texi
@@ -1,4 +1,4 @@
-@node References, Multilevel Feedback Scheduling, Project 4--File Systems, Top
+@node References, 4.4BSD Scheduler, Project 4--File Systems, Top
 @appendix References
 
 @macro bibdfn{cite}
@@ -9,41 +9,44 @@
 @menu
 * Hardware References::     
 * Software References::     
+* Operating System Design References::
 @end menu
 
 @node Hardware References
 @section Hardware References
 
 @bibdfn{IA32-v1}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366514.pdf, ,
 IA-32 Intel Architecture Software Developer's Manual Volume 1: Basic
-Architecture}.  Basic 80@var{x}86 architecture and programming
-environment.
+Architecture.  Basic 80@var{x}86 architecture and programming
+environment.  Available via @uref{developer.intel.com}.  Section numbers
+in this document refer to revision 18.
 
-@bibdfn{IA32-v2a}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366614.pdf, ,
-IA-32 Intel Architecture Software Developer's Manual Volume 2A:
-Instruction Set Reference A-M}.  80@var{x}86 instructions whose names
-begin with A through M.
+@bibdfn{IA32-v2a} 
+IA-32 Intel Architecture Software Developer's Manual
+Volume 2A: Instruction Set Reference A-M.  80@var{x}86 instructions
+whose names begin with A through M.  Available via
+@uref{developer.intel.com}.  Section numbers in this document refer to
+revision 18.
 
 @bibdfn{IA32-v2b}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366714.pdf, ,
 IA-32 Intel Architecture Software Developer's Manual Volume 2B:
-Instruction Set Reference N-Z}.  80@var{x}86 instructions whose names
-begin with N through Z.
+Instruction Set Reference N-Z.  80@var{x}86 instructions whose names
+begin with N through Z.  Available via @uref{developer.intel.com}.
+Section numbers in this document refer to revision 18.
 
-@bibdfn{IA32-v3}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366814.pdf, ,
-IA-32 Intel Architecture Software Developer's Manual Volume 3: System
-Programming Guide}.  Operating system support, including segmentation,
-paging, tasks, interrupt and exception handling.
+@bibdfn{IA32-v3a}
+IA-32 Intel Architecture Software Developer's Manual Volume 3A: System
+Programming Guide.  Operating system support, including segmentation,
+paging, tasks, interrupt and exception handling.  Available via
+@uref{developer.intel.com}.  Section numbers in this document refer to
+revision 18.
 
 @bibdfn{FreeVGA}
-@uref{freevga/home.htm, , FreeVGA Project}.  Documents the VGA video
+@uref{specs/freevga/home.htm, , FreeVGA Project}.  Documents the VGA video
 hardware used in PCs.
 
 @bibdfn{kbd}
-@uref{kbd/index.html, , Keyboard scancodes}.  Documents PC keyboard
+@uref{specs/kbd/scancodes.html, , Keyboard scancodes}.  Documents PC keyboard
 interface.
 
 @bibdfn{ATA-3}
@@ -61,7 +64,7 @@ used for PC serial ports.
 Datasheet for PC timer chip.
 
 @bibdfn{8259A}
-@uref{specs/8529A.pdf, , Intel 8259A Programmable Interrupt Controller
+@uref{specs/8259A.pdf, , Intel 8259A Programmable Interrupt Controller
 (8259A/8259A-2)}.  Datasheet for PC interrupt controller chip.
 
 @node Software References
@@ -95,6 +98,14 @@ Interface: Intel386 Architecture Processor Supplement: Fourth
 Edition}.  80@var{x}86-specific parts of the Unix interface.
 
 @bibdfn{SysV-ABI-update}
-@uref{specs/sysv-abi-update.html, , System V Application Binary
+@uref{specs/sysv-abi-update.html/contents.html, , System V Application Binary
 Interface---DRAFT---24 April 2001}.  A draft of a revised version of
 @bibref{SysV-ABI} which was never completed.
+
+@node Operating System Design References
+@section Operating System Design References
+
+@bibdfn{4.4BSD}
+M.@: K.@: McKusick, K.@: Bostic, M.@: J.@: Karels, J.@: S.@: Quarterman,
+@cite{The Design and Implementation of the 4.4@acronym{BSD} Operating
+System}.  Addison-Wesley 1996.