This is an old revision of the document!
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ă