GitHub repository: tipsyTentacle/ucr-cs153
Primary language: C
Description: UCR's operatings systems class project. Uses PintOS