CRUX on VMWARE