On Mon, Aug 11, 2014 at 7:26 PM, Adam Lackorzynski <a...@os.inf.tu-dresden.de> wrote: > Hi, > > On Sun Aug 03, 2014 at 21:36:21 +0200, Christoffer Dall wrote: >> On 3 August 2014 15:21, Peter Maydell <peter.mayd...@linaro.org> wrote: >> > On 3 August 2014 09:53, Adam Lackorzynski <a...@os.inf.tu-dresden.de> >> > wrote: >> >> Hi, >> >> >> >> the following three patches address the behavior of the GICD_ICFGR >> >> register >> >> in the ARM GIC. >> >> >> >> Adam Lackorzynski (3): >> >> arm_gic: Fix read of GICD_ICFGR >> >> arm_gic: SGIs for GICD_ICFGR are WI >> >> arm_gic: GICD_ICFGR: Do not force edge-triggered PPIs >> >> >> >> hw/intc/arm_gic.c | 15 ++++++++------- >> >> 1 file changed, 8 insertions(+), 7 deletions(-) >> > >> > Christoffer, did you want to review these? (I'll have a look through >> > them too shortly.) >> > >> Yeah, I'll have a look some time this week if that's timely enough? > > Any comment appreciated. > > Hi Adam,
I'll try to take a look tomorrow or Wednesday. -Christoffer