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

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