Pintos Project 1 and Install