Ooops! My patch has a problem. The code isn't checking that VMX is
enabled, so it's possible that the BIOS will have disabled VMX then
set the lock bit and the CPU will GPF on the VMXON instruction.
Attached is a fix to check that so HyperDbg will exit if VMX is
disabled by the BIOS.
-jon
You're right. I checked your patch and it seems ok. I've just
committed it to the SVN.
Tomorrow I will also test the patch in our test environment.
Thank you!
Roberto