pintos-os.org Git - pintos-anon/blob - doc/pintos.texi

   1 \input texinfo                          @c -*- texinfo -*-
   2
   3 @c %**start of header
   4 @setfilename pintos.info
   5 @settitle Pintos Projects
   6 @c %**end of header
   7
   8 @c @bibref{} macro
   9 @iftex
  10 @macro bibref{cite}
  11 [\cite\]
  12 @end macro
  13 @end iftex
  14 @ifinfo
  15 @ifnotplaintext
  16 @macro bibref{cite}
  17 @ref{\cite\}
  18 @end macro
  19 @end ifnotplaintext
  20 @ifplaintext
  21 @macro bibref{cite}
  22 [\cite\]
  23 @end macro
  24 @end ifplaintext
  25 @end ifinfo
  26 @ifhtml
  27 @macro bibref{cite}
  28 [@ref{\cite\}]
  29 @end macro
  30 @end ifhtml
  31
  32 @macro func{name}
  33 @code{\name\()}
  34 @end macro
  35
  36 @macro struct{name}
  37 @code{struct \name\}
  38 @end macro
  39
  40 @titlepage
  41 @title Pintos
  42 @author by Ben Pfaff
  43 @end titlepage
  44
  45 @shortcontents
  46 @contents
  47
  48 @ifnottex
  49 @node Top, Introduction, (dir), (dir)
  50 @top Pintos Projects
  51 @end ifnottex
  52
  53 @menu
  54 * Introduction::
  55 * Project 1--Threads::
  56 * Project 2--User Programs::
  57 * Project 3--Virtual Memory::
  58 * Project 4--File Systems::
  59 * Reference Guide::
  60 * 4.4BSD Scheduler::
  61 * Coding Standards::
  62 * Project Documentation::
  63 * Debugging Tools::
  64 * Development Tools::
  65 * Installing Pintos::
  66 * Bibliography::
  67 * License::
  68 @end menu
  69
  70 @c institution-local settings
  71 @include localsettings.texi
  72
  73 @include intro.texi
  74 @include threads.texi
  75 @include userprog.texi
  76 @include vm.texi
  77 @include filesys.texi
  78 @include reference.texi
  79 @include 44bsd.texi
  80 @include standards.texi
  81 @include doc.texi
  82 @include debug.texi
  83 @include devel.texi
  84 @include installation.texi
  85 @include bibliography.texi
  86 @include license.texi
  87
  88 @bye