[PATCH] paravirt: let users decide whether they want VMI

do not use default=y for CONFIG_VMI (we do not do that for any driver or
special-hardware feature): the overwhelming majority of Linux users does
not need it, and interested users and distributions can enable it
as-needed.

Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>

authored by Ingo Molnar and committed by Linus Torvalds 0d05ad2c e9417fb3

-1
-1
arch/i386/Kconfig
··· 221 221 config VMI 222 222 bool "VMI Paravirt-ops support" 223 223 depends on PARAVIRT 224 - default y 225 224 help 226 225 VMI provides a paravirtualized interface to the VMware ESX server 227 226 (it could be used by other hypervisors in theory too, but is not