download all originals or converted (max 1 GB)
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| disable.s | Text File | 13 | 172 b | 1996-07-16 |
| dispatch.s | Text File | 96 | 1.6 KB | 1996-07-16 |
| enable.s | Text File | 39 | 689 b | 1996-07-16 |
| forbid.s | Text File | 13 | 169 b | 1996-07-16 |
| init.c | C/C++ Source or Header | 182 | 4.6 KB | 1996-07-16 |
| makefile | Makefile | 14 | 372 b | 1996-07-16 |
| permit.s | Text File | 39 | 689 b | 1996-07-16 |
| preparecontext.c | C/C++ Source or Header | 75 | 1.6 KB | 1996-07-16 |
| special.s | Text File | 5 | 54 b | 1996-07-16 |
| supervisor.s | Text File | 13 | 223 b | 1996-07-16 |
| switch.s | Text File | 55 | 923 b | 1996-07-16 |