Your Vagrant/Puppet development environment does not work on your friends pc?

Reacently I shared a development environment with a colleague. When he started up the vm he got an error message stating that some settings where incorrect from vagrant (sorry, I don’t have the message to paste in here). When he ran the vm from the VirtualBox gui he got this error message:

It turned out my colleatues pc did not support hardware virtualization and thus could not use 64 bit vms. No big deal, he switched to use instad and everything was fine 🙂