** for Linux: please refer to your distribution package manager
* install/configure ssh (please refer to https://git-scm.com/book/it/v2/Git-on-the-Server-Generating-Your-SSH-Public-Key)
* send us the ssh public key as described in http://wiki.dave.eu/index.php/Axel_Embedded_Linux_Kit_%28XELK%29#RSA_key_generation
* download VirtualBox from http://www.virtualbox.org and install it
** tested with 5.0.14 (does NOT work with 5.0.0)