GitHub repository: BrChung/pintos
Primary language: C
Description: The pintos source distribution for UCI CompSci 143A course project