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

   1 @node Top, Introduction, (dir), (dir)
   2 @top Pintos Projects
   3
   4 @menu
   5 * Introduction::
   6 * Project 1--Threads::
   7 * Project 2--User Programs::
   8 * Project 3--Virtual Memory::
   9 * Project 4--File Systems::
  10 @end menu
  11
  12 @include intro.texi
  13 @include threads.texi
  14 @include userprog.texi
  15 @include vm.texi
  16 @include filesys.texi
  17 @c @include devel.texi
  18 @c @include standards.texi