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