Windows Device Guard and Credential Guard

I enabled Windows Device Guard and Credential Guard at a windows 10 host. The result was that VMWare Player/Workstation and VirtualBox ceased to work. For instance, VMWare Player complains,

VMware Payer and Device/Credential Guard are not compatible. 

VMware Player can be run after disabling Device/Credential Guard.

The error message also provided a URL to a VMWare Knowledge Base article. Following the article, the best solution is actually to use the Windows Defender Device Guard and Windows Defender Credential Guard hardware readiness tool to disable the Device and Credential Guard. The tool is distributed as a zip archive. Having extracted it, we simply issue the following command in the PowerShell session,

DG_Readiness_Tool_v3.6.ps1 -Disable -AutoReboot

You may revise the above command to match the version of the tool downloaded.