Messages in this thread | | | Subject | Re: [GIT PULL 00/11] EFI updates for v4.20 | From | Marc Zyngier <> | Date | Thu, 27 Sep 2018 10:07:23 +0100 |
| |
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...
| |