diff options
Diffstat (limited to 'arch/i386/Kconfig')
| -rw-r--r-- | arch/i386/Kconfig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/i386/Kconfig b/arch/i386/Kconfig index c7c9c2a15fab..7a11b905ef49 100644 --- a/arch/i386/Kconfig +++ b/arch/i386/Kconfig | |||
| @@ -222,6 +222,8 @@ config PARAVIRT | |||
| 222 | However, when run without a hypervisor the kernel is | 222 | However, when run without a hypervisor the kernel is |
| 223 | theoretically slower. If in doubt, say N. | 223 | theoretically slower. If in doubt, say N. |
| 224 | 224 | ||
| 225 | source "arch/i386/xen/Kconfig" | ||
| 226 | |||
| 225 | config VMI | 227 | config VMI |
| 226 | bool "VMI Paravirt-ops support" | 228 | bool "VMI Paravirt-ops support" |
| 227 | depends on PARAVIRT | 229 | depends on PARAVIRT |