> I believe CPU hotplug is still an issue with -rt, and > this is a known problem. Is there an (un-)official list of known problems? I'd like to help by reporting issues without repeating already known issues over and over again. :-) Thomas -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
