== Download and install VirtualBox
You can download VirtualBox for Windows and Mac OS X from: https://www.virtualbox.org/wiki/Downloads .
On Linux, you can get it from your package manager, for instance, on Debian/Ubuntu: "aptitude install virtualbox".

== Setup the RoboSoc image

* Download the RoboSoc image (http://www.ida.liu.se/~TDDD10/info/RoboSoc.ova) from the TDDD10 site and unzip it
* Start VirtualBox
* In the File menu, select "Import appliance"
* Click on the "Choose" button
* Select the file you have downloaded
* Click on next
* If you intend to run Eclipse, you might need to increase the base memory, in the field for RAM, increase the memory to 2048MB
* Then click "import"

You are now ready to start the virtual machine, you will find instruction inside the image. The regular account
is "aip" and the password is "robosoc".