On 18 August 2014 15:30, Adam Lackorzynski <a...@os.inf.tu-dresden.de> wrote: > The following patches address the behavior of the GICD_ICFGR register > in the ARM GIC. > > Changes to v3: > - Tag patchset with proper version > > Changes to v2: > - Replace 16 with GIC_NR_SGIS in setup > > Changes to v1: > - Setting of model mode only for old GIC revisions > - Less invasive change for PPI settings > > Adam Lackorzynski (4): > 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 > arm_gic: Use GIC_NR_SGIS constant > > hw/intc/arm_gic.c | 14 ++++++++------ > hw/intc/arm_gic_common.c | 2 +- > 2 files changed, 9 insertions(+), 7 deletions(-)
Applied to target-arm.next; thanks. -- PMM