![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| analysis.ps | 2000-08-07 21:15 | 160K | |
| architecture.ps | 2000-08-07 21:15 | 281K | |
| consul.ps | 2000-08-07 21:15 | 387K | |
| dynamic.ps | 2000-08-07 21:15 | 368K | |
| fbufs.ps | 2000-08-07 21:15 | 242K | |
| ilp.ps | 2000-08-07 21:15 | 273K | |
| images.ps | 2000-08-07 21:15 | 236K | |
| jade.ps | 2000-08-07 21:15 | 226K | |
| language.ps | 2000-08-07 21:15 | 197K | |
| lipto.ps | 2000-08-07 21:15 | 141K | |
| manual.ps | 2000-08-07 21:15 | 345K | |
| old.language.ps | 2000-08-07 21:15 | 220K | |
| overview.ps | 2000-08-07 21:15 | 65K | |
| quality.ps | 2000-08-07 21:15 | 110K | |
| rfc-1263 | 2000-08-07 21:15 | 53K | |
| usenix93.ps | 2000-08-07 21:15 | 229K | |
| xchip.HPCS.ps | 2000-08-07 21:15 | 46K | |
| xkernel.bib | 2000-08-07 21:15 | 4.0K | |
| xkernel.tar.Z | 2000-08-07 21:15 | 2.5M | |