diff options
Diffstat (limited to 'drivers/xen/Kconfig')
-rw-r--r-- | drivers/xen/Kconfig | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/drivers/xen/Kconfig b/drivers/xen/Kconfig index 8d2501e604dd..d4dffcd52873 100644 --- a/drivers/xen/Kconfig +++ b/drivers/xen/Kconfig | |||
@@ -196,4 +196,12 @@ config XEN_ACPI_PROCESSOR | |||
196 | called xen_acpi_processor If you do not know what to choose, select | 196 | called xen_acpi_processor If you do not know what to choose, select |
197 | M here. If the CPUFREQ drivers are built in, select Y here. | 197 | M here. If the CPUFREQ drivers are built in, select Y here. |
198 | 198 | ||
199 | config XEN_MCE_LOG | ||
200 | bool "Xen platform mcelog" | ||
201 | depends on XEN_DOM0 && X86_64 && X86_MCE | ||
202 | default n | ||
203 | help | ||
204 | Allow kernel fetching MCE error from Xen platform and | ||
205 | converting it into Linux mcelog format for mcelog tools | ||
206 | |||
199 | endmenu | 207 | endmenu |