Pintos project for Operating Systems class