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

Pentru a crea un folder partajat cu mașina gazdă, urmați acești pași: Din mașina virtuală, accesați meniul Devices → Shared Folders → Shared Folders Settings… Adăugați un folder nou Configurați noul folder partajat, selectând calea folderului din mașina gazdă și bifați opțiunile Auto-mount și Make Permanent, pentru o funcționare corectă atuci când reporniți mașina virtuală Dacă nu configurați și câmpul Mount Point, folderul se va afla sub câmpul Devices din File System și poate fi utilizat