Project 2 - CSC4200 Getting started To make development easier, I have converted the pintos VM into a docker container. With docker installed, run make docker Running tests make docker-check Running threads make run-threads Other targets Just look at the Makefile