Re: [GIT PULL 00/11] EFI updates for v4.20

From: Ingo Molnar
Date: Tue Oct 02 2018 - 04:35:04 EST



* Marc Zyngier <marc.zyngier@xxxxxxx> wrote:

> Hi all,
>
> On 27/09/18 09:50, Ard Biesheuvel wrote:
> > Thomas, Ingo,
> >
> > Please pull/cherry-pick the below. Note that the first three patches will
> > be depended upon by an irqchip series that Marc Zyngier has sent out last
> > week, and that targets the next release as well. So please advise how to
> > proceed with that: we could simply apply those patches first and use the
> > resulting commit in tip.git as a stable branch, I suppose, but I'll let
> > Marc chime in in case he has any other ideas.
>
> A stable branch with these three patches would be great. The irqchip code
> will also end-up in tip, so it should all be quite easy to manage anyway.

Yeah - nevertheless, to keep it all separated nicely, I've created a new
topic tree for this: tip:efi/irqchip (2e3ac98133a3), with just these three
patches on top of latest -git.

That way it can then all be iterated separately.

Does this approach work for you?

Thanks,

Ingo