Operating Systems course project: Augmenting PintOS in 4 phases