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 @titlepage
  32 @title Pintos Projects
  33 @end titlepage
  34
  35 @contents
  36
  37 @ifnottex
  38 @node Top, Introduction, (dir), (dir)
  39 @top Pintos Projects
  40 @end ifnottex
  41
  42 @menu
  43 * Introduction::
  44 * Project 1--Threads::
  45 * Project 2--User Programs::
  46 * Project 3--Virtual Memory::
  47 * Project 4--File Systems::
  48 * References::
  49 * Multilevel Feedback Scheduling::
  50 * Coding Standards::
  51 * Project Documentation::
  52 * Debugging Tools::
  53 @end menu
  54
  55 @include intro.texi
  56 @include threads.texi
  57 @include userprog.texi
  58 @include vm.texi
  59 @include filesys.texi
  60 @include references.texi
  61 @include mlfqs.texi
  62 @include standards.texi
  63 @include doc.texi
  64 @include debug.texi
  65
  66 @bye