bx1n/Pintos

Setting up Pintos in Ubuntu