Adding user programs support in Pintos kernel: loading executables / System calls handling Mechanism / IPC