download all originals (max 1 GB)| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| background.src | LaTeX Document | 4.8 KB | 1997-02-03 | |
| devinf_inside.src | LaTeX Document | 77 b | 1996-11-25 | |
| devinf_outside.src | LaTeX Document | 83 b | 1996-11-25 | |
| devinfo-1.src | LaTeX Document | 7.6 KB | 1997-01-27 | |
| devinfo-5.src | LaTeX Document | 9.2 KB | 1997-01-27 | |
| faq.src | LaTeX Document | 4.0 KB | 1997-01-27 | |
| links.src | LaTeX Document | 3.2 KB | 1997-01-16 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| adoc_footer.html | Hypertext Markup Language File | 11 | 275 b | 1996-12-03 |
| adoc_header.html | Hypertext Markup Language File | 24 | 555 b | 1996-11-21 |
| adoc2html.gawk | Hypertext Markup Language File | 565 | 12.6 KB | 1997-01-28 |
| adochtmlindex.gawk | Hypertext Markup Language File | 229 | 5.5 KB | 1997-01-27 |
| adocpost.gawk | Text File | 291 | 4.4 KB | 1997-01-28 |
| contents2html.gawk | Text File | 65 | 1.0 KB | 1997-01-24 |
| counter.cgi | Text File | 12 | 225 b | 1996-11-18 |
| cvslog2html.gawk | Text File | 38 | 575 b | 1997-01-24 |
| devinfo-2.src | Text File | 280 | 9.2 KB | 1997-01-27 |
| devinfo-3.src | Text File | 54 | 1.7 KB | 1997-01-27 |
| devinfo-4.src | Text File | 8 | 228 b | 1997-01-27 |
| dist.src | Text File | 9 | 65 b | 1997-01-16 |
| doc_footer.html | Hypertext Markup Language File | 16 | 465 b | 1997-01-28 |
| doc_header.html | Hypertext Markup Language File | 38 | 1.2 KB | 1997-02-03 |
| exec_microkernel.doc | Text File | 90 | 4.2 KB | 1996-11-18 |
| filesystems.doc | Text File | 389 | 9.9 KB | 1996-11-18 |
| getfiledate | Text File | 11 | 186 b | 1997-01-27 |
| getfilesize | Text File | 34 | 829 b | 1997-01-24 |
| history.src | Text File | 140 | 3.6 KB | 1997-02-07 |
| makefile | Makefile | 102 | 3.0 KB | 1997-02-04 |
| makefile2html.gawk | Text File | 49 | 891 b | 1997-01-24 |
| page_footer.html | Hypertext Markup Language File | 11 | 245 b | 1997-01-28 |
| page_header.html | Hypertext Markup Language File | 18 | 341 b | 1997-01-28 |
| search.cgi | Text File | 68 | 1.8 KB | 1996-11-20 |
| src2html.gawk | Hypertext Markup Language File | 573 | 11.1 KB | 1997-02-03 |
| stathtml.gawk | Hypertext Markup Language File | 62 | 1.6 KB | 1997-02-03 |
| tochtml.gawk | Hypertext Markup Language File | 144 | 2.5 KB | 1997-01-28 |