Pintos project for CS5600 Computer System