\input texinfo                          @c -*- texinfo -*-

@c %**start of header
@setfilename pintos-ic.info
@settitle PintOS Tasks
@c %**end of header

@c @bibref{} macro
@iftex
@macro bibref{cite}
[\cite\]
@end macro
@afourpaper
@end iftex
@ifinfo
@ifnotplaintext
@macro bibref{cite}
@ref{\cite\}
@end macro
@end ifnotplaintext
@ifplaintext
@macro bibref{cite}
[\cite\]
@end macro
@end ifplaintext
@end ifinfo
@ifhtml
@macro bibref{cite}
[@ref{\cite\}]
@end macro
@end ifhtml

@macro func{name}
@code{\name\()}
@end macro

@macro struct{name}
@code{struct \name\}
@end macro

@finalout

@titlepage
@title PintOS (Imperial College Edition)
Version 2.5.1
@author Originally by Ben Pfaff
@end titlepage

@shortcontents
@contents

@ifnottex
@node Top, Introduction, (dir), (dir)
@top PintOS Tasks
@end ifnottex

@menu
* Introduction::                
* Task 0--Codebase::
* Task 1--Threads::          
* Task 2--User Programs::    
* Task 3--Virtual Memory::      
* Reference Guide::
* 4.4BSD Scheduler::  
* Coding Standards::            
* Task Documentation::       
* Debugging Tools::             
* Development Tools::
* Installing PintOS::
* Bibliography::
* License::
@end menu

@c institution-local settings
@include localsettings.texi

@include intro.texi
@include codebase.texi
@include threads.texi
@include userprog.texi
@include vm.texi
@include reference.texi
@include 44bsd.texi
@include standards.texi
@include doc.texi
@include debug.texi
@include devel.texi
@include installation.texi
@include bibliography.texi
@include license.texi

@bye
