On Fri, Jan 17, 2014 at 11:28:06PM +0100, Pavel Machek wrote: > Would it make sense to printk() a warning?
No because people come and start bitching about their dmesg containing a warning and whether their hardware is b0rked without even reading the actual words. > BIOS is clearly buggy in this case, and it may cause problems with > another operating system, earlier kernel, or maybe early in boot > before MSR is written... Well, if the problem happens, the machine will lock. If it doesn't lock => no problem and we apply the workaround => no problem at all. :-) -- Regards/Gruss, Boris. Sent from a fat crate under my desk. Formatting is fine. -- -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/