1 \input texinfo @c -*- texinfo -*-
3 @setfilename projects.info
4 @settitle Pintos Projects
40 @title Pintos Projects
46 @node Top, Introduction, (dir), (dir)
53 * Project 1--Threads::
54 * Project 2--User Programs::
55 * Project 3--Virtual Memory::
56 * Project 4--File Systems::
58 * Multilevel Feedback Scheduling::
60 * Project Documentation::
68 @include userprog.texi
71 @include references.texi
73 @include standards.texi