Hi, Booting kernel with both CONFIG_X86_MCE=y and CONFIG_XEN_MCE_LOG=y results in "mce: Unable to init device /dev/mcelog (rc: -16)" error. I think that's because both drivers tries to register that character device (drivers/xen/mcelog.c: xen_late_init_mcelog; arch/x86/kernel/cpu/mcheck/mce.c: mcheck_init_device). So obviously one of them fails. CONFIG_XEN_MCE_LOG depends on CONFIG_X86_MCE...
How is that supposed to work? -- Best Regards, Marek Marczykowski-Górecki Invisible Things Lab A: Because it messes up the order in which people normally read text. Q: Why is top-posting such a bad thing?
pgpqlnZToIzYw.pgp
Description: PGP signature
_______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
