add Pintos OS to projects portfolio