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

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



* Ingo Molnar <mingo@xxxxxxxxxx> wrote:

>
> * 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?

It's a23d3bb05ccb - i.e. the commit ID of Ard's tree, so if you already based your work on top
of that then you won't even need to rebase anything.

Thanks,

Ingo