[Xen-devel] Xen /dev/mcelog registration in Linux

[Marek Marczykowski-GÃrecki <marmarek@xxxxxxxxxxxxxxxxxxxxxx>]

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?

Attachment: pgpyEpgNINo54.pgp
Description: PGP signature

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel