[+] > -----Original Message----- > From: Ard Biesheuvel [mailto:[email protected]] > Sent: 30 November 2020 18:32 > To: Shameerali Kolothum Thodi <[email protected]> > Cc: Marc Zyngier <[email protected]>; [email protected]; > [email protected]; [email protected]; Linuxarm > <[email protected]> > Subject: Re: [PATCH] irqchip/gic-v3: Check SRE bit for GICv2 legacy support > ...
> > Any clue why production D06 firmware deviates from the D06 port that > exists in Tianocore's edk2-platforms repository? Because that version > does not have this bug, and I wonder why that code was upstreamed at > all if a substantially different version gets shipped with production > hardware. Ok. Thanks for pointing this out. I have informed our UEFI team about this. They will check Internally and clarify. Regards, Shameer
