On Thu, Jul 10, 2014 at 9:24 AM, Borislav Petkov <b...@alien8.de> wrote: > I'm saying that because I'm assuming BIOS will clear those MSRs upon > warm reset. If it doesn't, then we have a bigger problem.
We don't have to trust BIOS to do that. SDM section 15.3.2.5 "IA32_MCi_CTL2 MSRs" says: After processor reset, IA32_MCi_CTL2 MSRs are zero’ed. -Tony -- 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/
