This is a variant of the Pintos Operating System for use as part of Operating Systems module at the University of the West of England (UWE). #this is the first edit By Mohamed2.Almarri@live.uwe.ac.uk
Added system call numbers list and assigned variables based on lib/syscall-nr.h