download all originals or converted (max 1 GB)
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| disable.s | Text File | 9 | 128 b | 1996-07-16 |
| dispatch.s | Text File | 83 | 1.6 KB | 1996-07-16 |
| enable.s | Text File | 27 | 521 b | 1996-07-16 |
| forbid.s | Text File | 14 | 345 b | 1996-07-16 |
| init.c | C/C++ Source or Header | 189 | 4.8 KB | 1996-07-16 |
| makefile | Makefile | 12 | 262 b | 1996-07-16 |
| permit.s | Text File | 27 | 520 b | 1996-07-16 |
| preparecontext.c | C/C++ Source or Header | 78 | 1.6 KB | 1996-07-16 |
| special.s | Text File | 5 | 52 b | 1996-07-16 |
| supervisor.s | Text File | 5 | 98 b | 1996-07-16 |
| switch.s | Text File | 35 | 679 b | 1996-07-16 |