Skip to content

Instantly share code, notes, and snippets.

@jonator
jonator / setup_pintos.sh
Last active January 29, 2020 04:34 — forked from jdeweese1/setup_pintos.sh
setup pintos in one fell swoop
# you need to cp ~/cis520/pintos/src/utils/pintos-gdb ~/pintos-goodfile
mkdir cis520
cd cis520
cp /pub/CIS520/pintos.tgz .
mkdir pintos
tar xvzf pintos.tgz -C pintos --strip-components=1
# Begin part 2
cd ~/cis520/pintos/src/threads