My solution of Pintos project 1.