-@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}
@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.
@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}
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
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.