Pintos project for CS5600: Computer System