
Type in or browse to the location of the cs144_vm.ova file you downloaded above. Type Ctrl-I or click “File” -> “Import Appliance…” to bring up the import window. You should see this: VirtualBox home screen

This is a large file, so use a wired connection or sit close to an access point while downloading!

On arch, pacman -S virtualbox virtualbox-host-modules-arch (or virtualbox-host-dkms if you’re running a custom kernel)ĬentOS (and probably Fedora) users should consult the wiki On Debian-derived distributions (like Ubuntu), apt-get install virtualbox If your host OS is linux, your distribution may already package virtualbox:

This guide will walk you through setting up the provided VM image in VirtualBox. Setting up your CS144 VM using VirtualBox Setting up your CS144 VM using VirtualBox
