Re: [PATCH v2 00/13] EFI mixed mode

From: David Rientjes
Date: Fri Mar 07 2014 - 05:12:25 EST


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-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/