This is a variant of the Pintos Operating System for use as part of UFCFWK-15-2 Operating Systems module. 2019/20
Select Git revision
desd-group15
-
-
- Open in your IDE
- Download source code
| Name | Last commit | Last update |
|---|---|---|
| devices | ||
| examples | ||
| filesys | ||
| lib | ||
| misc | ||
| tests | ||
| threads | ||
| userprog | ||
| utils | ||
| vm | ||
| .gitignore | ||
| LICENSE | ||
| Make.config | ||
| Makefile | ||
| Makefile.build | ||
| Makefile.kernel | ||
| Makefile.userprog | ||
| README.md |