gcc version : 7.3.0
qemu version : 2.11.1(Debian 1:2.11+dfsg-1ubuntu7.4)
- add
$INSTALLATION_PATH/pintos/src/utils
to your path (recommend to edit bashrc)
cd $INSTALLATION_PATH/pintos/src/utils
make
cd ../threads
make
make check
or
pintos -q run <test_name>