Setting virtual machine options