Skip to content

Instantly share code, notes, and snippets.

@lopezjurip
Last active October 7, 2016 11:46
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lopezjurip/1c4636a3be17167e07d678c9497549f8 to your computer and use it in GitHub Desktop.
Save lopezjurip/1c4636a3be17167e07d678c9497549f8 to your computer and use it in GitHub Desktop.
PintosOS with Docker (useful macOS)

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment