[up-all]clear
Merge branch 'threads' of https://github.com/erlim/pintos into threads