To switch between Docker and VirtualBox it is necessary to enable / disable Hyper-V.
I’ve made some notes on how to create suitable boot configurations.