pintos-os.org Git - pintos-anon/blob - 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/25366515.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/25366615.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/25366715.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/25366815.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.