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 @contents
  45
  46 @ifnottex
  47 @node Top, Introduction, (dir), (dir)
  48 @top Pintos Projects
  49 @end ifnottex
  50
  51 @menu
  52 * Introduction::
  53 * Pintos Tour::
  54 * Project 1--Threads::
  55 * Project 2--User Programs::
  56 * Project 3--Virtual Memory::
  57 * Project 4--File Systems::
  58 * References::
  59 * 4.4BSD Scheduler::
  60 * Coding Standards::
  61 * Project Documentation::
  62 * Debugging Tools::
  63 * Development Tools::
  64 @end menu
  65
  66 @include intro.texi
  67 @include tour.texi
  68 @include threads.texi
  69 @include userprog.texi
  70 @include vm.texi
  71 @include filesys.texi
  72 @include references.texi
  73 @include 44bsd.texi
  74 @include standards.texi
  75 @include doc.texi
  76 @include debug.texi
  77 @include devel.texi
  78
  79 @bye