diff options
Diffstat (limited to 'doc/pintos_ovr.html')
| -rw-r--r-- | doc/pintos_ovr.html | 69 |
1 files changed, 69 insertions, 0 deletions
diff --git a/doc/pintos_ovr.html b/doc/pintos_ovr.html new file mode 100644 index 0000000..610d243 --- /dev/null +++ b/doc/pintos_ovr.html | |||
| @@ -0,0 +1,69 @@ | |||
| 1 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" | ||
| 2 | "http://www.w3.org/TR/html40/loose.dtd"> | ||
| 3 | <HTML> | ||
| 4 | <!-- Created on March, 6 2012 by texi2html 1.66 --> | ||
| 5 | <!-- | ||
| 6 | Written by: Lionel Cons <Lionel.Cons@cern.ch> (original author) | ||
| 7 | Karl Berry <karl@freefriends.org> | ||
| 8 | Olaf Bachmann <obachman@mathematik.uni-kl.de> | ||
| 9 | and many others. | ||
| 10 | Maintained by: Many creative people <dev@texi2html.cvshome.org> | ||
| 11 | Send bugs and suggestions to <users@texi2html.cvshome.org> | ||
| 12 | |||
| 13 | --> | ||
| 14 | <HEAD> | ||
| 15 | <TITLE>Pintos Projects: Short Table of Contents</TITLE> | ||
| 16 | |||
| 17 | <META NAME="description" CONTENT="Pintos Projects: Short Table of Contents"> | ||
| 18 | <META NAME="keywords" CONTENT="Pintos Projects: Short Table of Contents"> | ||
| 19 | <META NAME="resource-type" CONTENT="document"> | ||
| 20 | <META NAME="distribution" CONTENT="global"> | ||
| 21 | <META NAME="Generator" CONTENT="texi2html 1.66"> | ||
| 22 | <LINK REL="stylesheet" HREF="pintos.css"> | ||
| 23 | </HEAD> | ||
| 24 | |||
| 25 | <BODY > | ||
| 26 | |||
| 27 | <A NAME="SEC_OVERVIEW"></A> | ||
| 28 | <TABLE CELLPADDING=1 CELLSPACING=1 BORDER=0> | ||
| 29 | <TR><TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos.html#SEC_Top">Top</A>]</TD> | ||
| 30 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos.html#SEC_Contents">Contents</A>]</TD> | ||
| 31 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[Index]</TD> | ||
| 32 | <TD VALIGN="MIDDLE" ALIGN="LEFT">[<A HREF="pintos_abt.html#SEC_About"> ? </A>]</TD> | ||
| 33 | </TR></TABLE> | ||
| 34 | <H1>Short Table of Contents</H1> | ||
| 35 | <BLOCKQUOTE> | ||
| 36 | <A NAME="TOC1" HREF="pintos_1.html#SEC1">1. Introduction</A> | ||
| 37 | <BR> | ||
| 38 | <A NAME="TOC15" HREF="pintos_2.html#SEC15">2. Project 0: Introducing Pintos</A> | ||
| 39 | <BR> | ||
| 40 | <A NAME="TOC41" HREF="pintos_3.html#SEC41">3. Project 1: Threads</A> | ||
| 41 | <BR> | ||
| 42 | <A NAME="TOC47" HREF="pintos_4.html#SEC47">4. Project 2: Virtual Memory</A> | ||
| 43 | <BR> | ||
| 44 | <A NAME="TOC48" HREF="pintos_5.html#SEC48">A. Reference Guide</A> | ||
| 45 | <BR> | ||
| 46 | <A NAME="TOC89" HREF="pintos_6.html#SEC89">B. Coding Standards</A> | ||
| 47 | <BR> | ||
| 48 | <A NAME="TOC93" HREF="pintos_7.html#SEC93">C. Project Documentation</A> | ||
| 49 | <BR> | ||
| 50 | <A NAME="TOC96" HREF="pintos_8.html#SEC96">D. Debugging Tools</A> | ||
| 51 | <BR> | ||
| 52 | <A NAME="TOC109" HREF="pintos_9.html#SEC109">E. Development Tools</A> | ||
| 53 | <BR> | ||
| 54 | <A NAME="TOC113" HREF="pintos_10.html#SEC113">Bibliography</A> | ||
| 55 | <BR> | ||
| 56 | <A NAME="TOC117" HREF="pintos_11.html#SEC117">License</A> | ||
| 57 | <BR> | ||
| 58 | |||
| 59 | </BLOCKQUOTE> | ||
| 60 | <HR SIZE=1> | ||
| 61 | <BR> | ||
| 62 | <FONT SIZE="-1"> | ||
| 63 | This document was generated | ||
| 64 | by on <I>March, 6 2012</I> | ||
| 65 | using <A HREF="http://texi2html.cvshome.org"><I>texi2html</I></A> | ||
| 66 | </FONT> | ||
| 67 | |||
| 68 | </BODY> | ||
| 69 | </HTML> | ||