more work on syscall
Merge branch 'master' of https://github.com/mrjeremyt/pintos into syscall
Merge pull request #1 from mrjeremyt/syscall

Syscall