On Thu, 6 Mar 2014, Matt Fleming wrote: > Thanks for the report David. > > I sent a pull request that fixes these errors up. Looks like it got > pulled into tip:x86/efi, > > commit 617b3c37da78 > Merge: 994448f1afa6 3db4cafdfd05 > Author: Matt Fleming <matt.fleming@xxxxxxxxx> > Date: Wed Mar 5 18:18:50 2014 +0000 > > Merge branch 'mixed-mode' into efi-for-mingo > > So everything should be working in tip:x86/efi which includes > tip:x86/efi-mixed. > You're absolutely right, x86/efi looks good! Thanks Matt. -- 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
