Switching between Docker and VirtualBox on Windows 10

As outlined here, Docker for Windows requires Hyper-V. This needs to be disabled before you can run VirtualBox.

# Run from elevated prompt (admin privileges)
bcdedit /set hypervisorlaunchtype off

And to start using Docker for Windows again, re-enable Hyper-V:

# Run from elevated prompt (admin privileges)
bcdedit /set hypervisorlaunchtype auto

A reboot is required in both cases.

Note: if you only see 32-bit options when creating a VM in VirtualBox, it could be because you havent disabled Hyper-V. More info here on this issue.