For $reasons, I needed to run VirtualBox on my laptop, to make some changes to a .vdi disk image. I installed VirtualBox but, when I tried to run it, I got an error message saying Cannot operate in vmx boot mode Or something like that. (I couldn’t find a way of copying the error message to the clipboard.) To make this go away, I edited my grub config (/etc/default/grub) to add kvm.enable_virt_at_load=0: GRUB_CMDLINE_LINUX_DEFAULT="quiet kvm.enable_virt_at_load=0" I then ran sudo update-grub...
