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
Pintos
a2-stratford
authored
syscall_exit.c line 15..16: Condensed into one line line 23: Removed for being unnescessary system_calls.h line 15: Made prototype consistent with declaration
| 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 | ||
| make_the_things | ||
| setup_path |