I doubt they're using VirtualBox. VirtualBox didn't even run on Apple Silicon until 9 months ago, but Docker Desktop still worked, so it must have been using something else.