tree 2a6f26d9ee73532d4dc3e7c4a85dbc067db16d4d
parent e9417fb324f355e8e0b5d78d3b5dc7b90693fdfb
author Ingo Molnar <mingo@elte.hu> 1173096940 +0100
committer Linus Torvalds <torvalds@woody.linux-foundation.org> 1173111831 -0800

[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>