93 lines
1.5 KiB
Plaintext
93 lines
1.5 KiB
Plaintext
\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
|