This repository contains a simple Vagrant configuration and bootstrap script to create a Pintos dev box for the JHU CS318 course.
If you already have a Vagrant Ubuntu 18 box, you'll only need to add a provision
entry to your existing Vagrantfile to use the bootstrap.sh file.