diff options
| author | Ingo Molnar <mingo@elte.hu> | 2007-03-05 13:15:40 +0100 |
|---|---|---|
| committer | Linus Torvalds <torvalds@woody.linux-foundation.org> | 2007-03-05 08:23:51 -0800 |
| commit | 0d05ad2c09af9fb33ae76f9f8d1c4e4d1a9de92c (patch) | |
| tree | 2a6f26d9ee73532d4dc3e7c4a85dbc067db16d4d /include | |
| parent | e9417fb324f355e8e0b5d78d3b5dc7b90693fdfb (diff) | |
[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>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions