Adding user programs support to Pintos kernel: loading executables / System calls handling Mechanism / IPC - View it on GitHub