Why wouldn't they be running VMs? I frequently use them for development, within OSX.