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 @titlepage
   8 @title Pintos Projects
   9 @end titlepage
  10
  11 @contents
  12
  13 @ifnottex
  14 @node Top, Introduction, (dir), (dir)
  15 @top Pintos Projects
  16 @end ifnottex
  17
  18 @menu
  19 * Introduction::
  20 * Project 1--Threads::
  21 * Project 2--User Programs::
  22 * Project 3--Virtual Memory::
  23 * Project 4--File Systems::
  24 * Multilevel Feedback Scheduling::
  25 * Coding Standards::
  26 * Project Documentation::
  27 * Debugging Tools::
  28 @end menu
  29
  30 @include intro.texi
  31 @include threads.texi
  32 @include userprog.texi
  33 @include vm.texi
  34 @include filesys.texi
  35 @include mlfqs.texi
  36 @include standards.texi
  37 @include doc.texi
  38 @include debug.texi
  39
  40 @bye