Skip to content

Instantly share code, notes, and snippets.

Avatar
🦾
Alive

Jon Ator jonator

🦾
Alive
View GitHub Profile
@jonator
jonator / setup_pintos.sh
Last active Jan 29, 2020 — forked from jdeweese1/setup_pintos.sh
setup pintos in one fell swoop
View setup_pintos.sh
# 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