There is a tool available from VMWare called OVFTool which can be used to convert the existing VMWare files in any appropriate format. So in essence I wanted to covert the available VMWare proprietary files in a format which can be imported on my regular VirtualBox Moreover, You would not get VMWare player free for mac, you would need to either buy VMWare Fusion or download a 30 day trial, which again does not solve my purpose. The other option was to install VMWare player on my laptop for that VM specifically which didn't make much sense. The problem begun when I tried to import the virtual machine to my laptop. 4 DHR&DMGHigh School DxDSeason 1+2+3&OVA FinalBDRip1080PAVC+HEVCP10FLAC 49.8 GiB: 12:27: 0: 0: 443: 1 DHR&DMGHigh School DxDSeason 1+2+3&OVABDRip1080PAVC+HEVCP10FLAC 49. I work on a mac and use VirtualBox to host VM's. I recently got a dump of a virtual machine, it was exported from VMWare hence it had the respective. In this article, we have prepared the ISO file of the High Sierra (10.13.x) version of the macOS operating system used on Mac computers so that you can perform system tests or software developments on VMware Workstation, VirtualBox, Fusion, and vSphere ESXi virtual machines on your host computers that support virtualization.