1 \input texinfo @c -*- texinfo -*-
3 @setfilename projects.info
4 @settitle Pintos Projects
32 @title Pintos Projects
38 @node Top, Introduction, (dir), (dir)
44 * Project 1--Threads::
45 * Project 2--User Programs::
46 * Project 3--Virtual Memory::
47 * Project 4--File Systems::
49 * Multilevel Feedback Scheduling::
51 * Project Documentation::
57 @include userprog.texi
60 @include references.texi
62 @include standards.texi