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

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