Disable Xen MCE log device

It fails during initialization (/dev/mcelog chrdev is already
registered), so not useful anyway.

Fixes QubesOS/qubes-issues#1164
This commit is contained in:
Marek Marczykowski-Górecki 2016-01-04 12:57:02 +01:00
parent ab5f5f3013
commit e2ec0a1398
No known key found for this signature in database
GPG Key ID: 063938BA42CFA724

2
config
View File

@ -5750,7 +5750,7 @@ CONFIG_XEN_PCIDEV_BACKEND=m
CONFIG_XEN_SCSI_BACKEND=m CONFIG_XEN_SCSI_BACKEND=m
CONFIG_XEN_PRIVCMD=m CONFIG_XEN_PRIVCMD=m
CONFIG_XEN_ACPI_PROCESSOR=m CONFIG_XEN_ACPI_PROCESSOR=m
CONFIG_XEN_MCE_LOG=y # CONFIG_XEN_MCE_LOG is not set
CONFIG_XEN_HAVE_PVMMU=y CONFIG_XEN_HAVE_PVMMU=y
CONFIG_XEN_EFI=y CONFIG_XEN_EFI=y
CONFIG_XEN_AUTO_XLATE=y CONFIG_XEN_AUTO_XLATE=y