ignore all binary files / build directories / swp files and reverted all files to original pintos source. Should be able to just clone and build whole project