Clarify.
[pintos-anon] / doc / references.texi
1 @node References, Multilevel Feedback Scheduling, Project 4--File Systems, Top
2 @appendix References
3
4 @macro bibdfn{cite}
5 @noindent @anchor{\cite\}
6 [\cite\].@w{  }
7 @end macro
8
9 @menu
10 * Hardware References::     
11 * Software References::     
12 @end menu
13
14 @node Hardware References
15 @section Hardware References
16
17 @bibdfn{IA32-v1}
18 @uref{ftp://download.intel.com/design/Pentium4/manuals/25366514.pdf, ,
19 IA-32 Intel Architecture Software Developer's Manual Volume 1: Basic
20 Architecture}.  Basic 80@var{x}86 architecture and programming
21 environment.
22
23 @bibdfn{IA32-v2a}
24 @uref{ftp://download.intel.com/design/Pentium4/manuals/25366614.pdf, ,
25 IA-32 Intel Architecture Software Developer's Manual Volume 2A:
26 Instruction Set Reference A-M}.  80@var{x}86 instructions whose names
27 begin with A through M.
28
29 @bibdfn{IA32-v2b}
30 @uref{ftp://download.intel.com/design/Pentium4/manuals/25366714.pdf, ,
31 IA-32 Intel Architecture Software Developer's Manual Volume 2B:
32 Instruction Set Reference N-Z}.  80@var{x}86 instructions whose names
33 begin with N through Z.
34
35 @bibdfn{IA32-v3}
36 @uref{ftp://download.intel.com/design/Pentium4/manuals/25366814.pdf, ,
37 IA-32 Intel Architecture Software Developer's Manual Volume 3: System
38 Programming Guide}.  Operating system support, including segmentation,
39 paging, tasks, interrupt and exception handling.
40
41 @bibdfn{FreeVGA}
42 @uref{specs/freevga/home.htm, , FreeVGA Project}.  Documents the VGA video
43 hardware used in PCs.
44
45 @bibdfn{kbd}
46 @uref{specs/kbd/scancodes.html, , Keyboard scancodes}.  Documents PC keyboard
47 interface.
48
49 @bibdfn{ATA-3}
50 @uref{specs/ata-3-std.pdf, , AT Attachment-3 Interface (ATA-3) Working
51 Draft}.  Draft of an old version of the ATA aka IDE interface for the
52 disks used in most desktop PCs.
53
54 @bibdfn{PC16550D}
55 @uref{specs/pc16550d.pdf, , National Semiconductor PC16550D Universal
56 Asynchronous Receiver/Transmitter with FIFOs}.  Datasheet for a chip
57 used for PC serial ports.
58
59 @bibdfn{8254}
60 @uref{specs/8254.pdf, , Intel 8254 Programmable Interval Timer}.
61 Datasheet for PC timer chip.
62
63 @bibdfn{8259A}
64 @uref{specs/8259A.pdf, , Intel 8259A Programmable Interrupt Controller
65 (8259A/8259A-2)}.  Datasheet for PC interrupt controller chip.
66
67 @node Software References
68 @section Software References
69
70 @bibdfn{ELF1}
71 @uref{specs/elf.pdf, , Tool Interface Standard (TIS) Executable and
72 Linking Format (ELF) Specification Version 1.2 Book I: Executable and
73 Linking Format}.  The ubiquitous format for executables in modern Unix
74 systems.
75
76 @bibdfn{ELF2}
77 @uref{specs/elf.pdf, , Tool Interface Standard (TIS) Executable and
78 Linking Format (ELF) Specification Version 1.2 Book II: Processor
79 Specific (Intel Architecture)}.  80@var{x}86-specific parts of ELF.
80
81 @bibdfn{ELF3}
82 @uref{specs/elf.pdf, , Tool Interface Standard (TIS) Executable and
83 Linking Format (ELF) Specification Version 1.2 Book III: Operating
84 System Specific (UNIX System V Release 4)}.  Unix-specific parts of
85 ELF.
86
87 @bibdfn{SysV-ABI}
88 @uref{specs/sysv-abi-4.1.pdf, , System V Application Binary Interface:
89 Edition 4.1}.  Specifies how applications interface with the OS under
90 Unix.
91
92 @bibdfn{SysV-i386}
93 @uref{specs/sysv-abi-i386-4.pdf, , System V Application Binary 
94 Interface: Intel386 Architecture Processor Supplement: Fourth
95 Edition}.  80@var{x}86-specific parts of the Unix interface.
96
97 @bibdfn{SysV-ABI-update}
98 @uref{specs/sysv-abi-update.html/contents.html, , System V Application Binary
99 Interface---DRAFT---24 April 2001}.  A draft of a revised version of
100 @bibref{SysV-ABI} which was never completed.