* Download and install [VirtualBox][vbox] for your operating system.
* Download the [3110 virtual machine][3110vm]. It's a big file and will take some
time to download.
* Import the virtual machine:
* Run VirtualBox.
* Select File → Import Appliance
* Select Open Appliance, and choose the `.ova` file you
just downloaded. Then click continue and then click Import.
This step might take a few minutes.
* Run the virtual machine:
* Select cs3110-VM from the list of machines in VirtualBox.
* Click Start.
[vbox]: https://www.virtualbox.org/wiki/Downloads
[3110vm]: https://cornell.box.com/cs3110vm-2015fa