pintos-toolchain pintos toolchain on ubuntu 20 git clone https://github.com/mengwanguc/pintos-toolchain.git export PATH=$PATH:/home/CNETID/pintos-toolchain/bin
