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(-) -- 2.0.1