| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | doc | 2025-03-01 18:02 | 794 KB |
| specs | 2025-03-01 18:02 | 8941 KB |
| src | 2025-03-01 18:02 | 2184 KB |
| tests | 2025-03-01 18:02 | 5 KB |
 | AUTHORS | 2025-03-01 18:02 | 1 KB |
| LICENSE | 2025-03-01 18:02 | 2 KB |
| Makefile | 2025-03-01 18:02 | 0 KB |
| pintos.pdf | 2025-03-01 18:02 | 456 KB |