Weil Vmware auf mimas nicht kompilieren mag (Xen-Kernel), stelle ich auf VirtualBox um.
Vorgangsweise:
1) *.vmdk nach /srv/VirtualMachines kopiert
2) apt-get install qemu
3) *.bin-File erstellt mittels qemu-img convert imagename.vmdk -O raw imagename.bin
4) VDI-File erstellt mittels VBoxManage convertdd debian-40.bin debian-40.vdi
Jetzt mal sehen, ob das geht.