Pintos is a simple instructional operating system framework for the 80x86 architecture.
I want to implement the already defined system calls in PintOS ( halt(), create()...etc defined in pintos/src/lib/user/…
operating-system system system-calls sys pintos