Download VM

Davinci is available in a pre-made CentOS 6 virtual machine image, which also has KRC installed (http://krc.mars.asu.edu)

• You will need to download and install VirtualBox https://www.virtualbox.org/wiki/Downloads

• The link to download the virtual machine is: http://davinci.mars.asu.edu/vm/davinci-2.22.ova

If needed, the root password for the VM is

davinci