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

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