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.) thanks -- PMM