+config VMI
+ bool "VMI Paravirt-ops support"
+ depends on PARAVIRT && !COMPAT_VDSO
+ help
+ VMI provides a paravirtualized interface to the VMware ESX server
+ (it could be used by other hypervisors in theory too, but is not
+ at the moment), by linking the kernel to a GPL-ed ROM module
+ provided by the hypervisor.
+