In the Vagrantfile the provider blocks do NOT actually tell Vagrant which provider to use, they simply tell it that if that provider is selected from the command line or environment variable what changes to make to the box configuration.
In recent versions of Windows 10 with versions of Virtualbox higher than 6, it is supposed to be possible for Virtualbox and hyper-V to coexist. If you had installed Virtualbox you would definitely need to add `--provider hyperv` to your `vagrant up` and other commands, and you'd want to check with `vagrant global-status` that there wasn't a Virtualbox box already present in that directory. -- This mailing list is governed under the HashiCorp Community Guidelines - https://www.hashicorp.com/community-guidelines.html. Behavior in violation of those guidelines may result in your removal from this mailing list. GitHub Issues: https://github.com/mitchellh/vagrant/issues IRC: #vagrant on Freenode --- You received this message because you are subscribed to the Google Groups "Vagrant" group. To unsubscribe from this group and stop receiving emails from it, send an email to vagrant-up+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/vagrant-up/05656f7f-7c45-4c07-b229-9a7a8d019200%40googlegroups.com.