vmxinfo A very simple kernel module for reading various VMX related info via MSR. These various are usefull for setting up VMM.