====== Switching between Docker and VirtualBox on Windows 10 ======
If you are receiving an error similar to "VT-x is not available (VERR_VMX_NO_VMX)" when starting a VirtualBox Virtual Machine after installing Docker, here is a solution:
===== The Issue: =====
Docker uses Hyper-V. VirtualBox uses VT-x. You cannot have both level 1 hypervirtualization technologies running currently.
===== The Solution: =====
==== To go from Docker to VirtualBox: ====
# Run from elevated prompt (admin privileges)
bcdedit /set hypervisorlaunchtype off
==== To go back to Docker: ====
# Run from elevated prompt (admin privileges)
bcdedit /set hypervisorlaunchtype auto
A reboot is required in both cases.