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
- It may require "Microsoft Visual C++ 2019 Redistributable", available here: https://aka.ms/vs/17/release/vc_redist.x64.exe
- VirtualBox needs CPU virtualization features, which are available on most modern machines. Generally these features are enabled. if not, these can be enabled in the system BIOS (look for online articles using search terms: "virtualbox bios settings enable virtualization").

Once installed, open VirtualBox, and click the "Import" Icon at the top of the screen (or go to File -> Import Virtual Appliance). Select the OVA file linked above.
- Click "Next" until the dialog goes away
Double click the new Virtual Machine in the left part of the VirtualBox window. A new window should open and eventually you'll see a desktop with a Davinci Icon.

If needed, the root password for the VM is

davinci