Ah. Well, VirtualBox is a VM product. Not a VMware product. I just say, if we know what has been converted, we can do this ourselves.

FWIW, I just used the VMware image (version 0.6) in VirtualBox. I only had to redefine some variables in the VM configuration. It was pretty straightforward.

Thing is, I run 64 bit Linux, and want hardware virtualization (not para virtualization). Right now I installed the SDK (1.x version) using the .tar.gz (NOT the .deb). This works, provided I disabled vdso32 in GRUB entries.