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

[Marc Zyngier]

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.

Thanks,

	M.
--
Jazz is not dead. It just smells funny...