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