Pentru a rula configura și rula mașina virtuală, recomandăm utilizarea Oracle VirtualBox, disponibil aici.

Descărcați hard disk-ul mașinii virtuală.

Din VirtualBox, accesați meniul New

Alegeți un nume pentru noua mașină virtuală, tipul sistemului de operare Linux și versiunea Debian 64-bit. Alocați o dimensiune maximă pentru RAM.

Bifați opțiunea Use an existing virtual hard disk drive file și accesați fereastra.

Din meniul Add, selectați fișierul debian_xenomai.vmdk (cel fără -flat)

Creați mașina virtuală

În acest moment, mașina virtuală este creată și poate fi utilizată.

Apăsați Start și așteptați pornirea.

După câteva secunde, va apărea un meniu în care trebuie să selectați boot-loader-ul. Selectați a doua opțiune, urmată de a treia (cea cu -amd64)

După încă câteva secunde, mașina virtuală ar trebui să pornească. Vă puteți loga cu user-ul patr și parola patr