Make more useful.
[pintos-anon] / 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