On Wed, Jan 14, 2015 at 10:27:47AM -0800, Andy Lutomirski wrote: > How are you manually triggering an MCE? I've been playing with some > MCE stuff recently, but the only reasonably reliable way I know of to > trigger an MCE is using WHEA, and I don't have a box with WHEA, and I > assume your ASUS T100 doesn't either. asm volatile("int $18"); > Tianocore makes assumptions about the kernel's GDT layout? Yuck. Yuck indeed. -- Regards/Gruss, Boris. Sent from a fat crate under my desk. Formatting is fine. -- -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html