Implementation of scheduler and user programs for the Pintos Operating System - Imperial College 2nd Year Lab