X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Freferences.texi;h=78c6b8c7533e4037f54989287cdf8c878fb84161;hb=c56ee34418c56190fe1cc2f2e22a5f8b34057cb7;hp=6ba0bc1b94bb2a534a29abe698524bc359a74cb8;hpb=00f5fd0faf9cba04216ae24690b8ce06eda93de9;p=pintos-anon

diff --git a/doc/references.texi b/doc/references.texi
index 6ba0bc1..78c6b8c 100644
--- 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,31 +9,32 @@
 @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, ,
+@uref{ftp://download.intel.com/design/Pentium4/manuals/25366515.pdf, ,
 IA-32 Intel Architecture Software Developer's Manual Volume 1: Basic
 Architecture}.  Basic 80@var{x}86 architecture and programming
 environment.
 
 @bibdfn{IA32-v2a}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366614.pdf, ,
+@uref{ftp://download.intel.com/design/Pentium4/manuals/25366615.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-v2b}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366714.pdf, ,
+@uref{ftp://download.intel.com/design/Pentium4/manuals/25366715.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.
 
 @bibdfn{IA32-v3}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366814.pdf, ,
+@uref{ftp://download.intel.com/design/Pentium4/manuals/25366815.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.
@@ -98,3 +99,11 @@ Edition}.  80@var{x}86-specific parts of the Unix interface.
 @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.