Make sure you have Docker up and running. docker run --name=pintos -v /$(pwd):/home/OS -t -i ubuntu:16.04 /bin/bash Inside the container run: cd /home/OS apt-get update -y apt-get upgrade -y apt-get install build-essential time qtemu aqemu -y