Initial commit
Merge https://github.com/hyunhapark/pintos
init dev env