The following patches address the behavior of the GICD_ICFGR register in the ARM GIC.
Changes to previous version: - Setting of model mode only for old GIC revisions - Less invasive change for PPI settings Adam Lackorzynski (3): arm_gic: Fix read of GICD_ICFGR arm_gic: GICD_ICFGR: Write model only for pre v1 GICs arm_gic: Do not force PPIs to edge-triggered mode hw/intc/arm_gic.c | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) -- 2.1.0.rc1