On Fri, 24 May 2024 at 12:33, Sebastian Huber <sebastian.hu...@embedded-brains.de> wrote: > > v2: > > * Fix handling of SPIs. > > * Remove pending state if not in new target list. > > Sebastian Huber (2): > hw/intc/arm_gic: Fix set pending of PPIs > hw/intc/arm_gic: Fix writes to GICD_ITARGETSRn
Applied to target-arm.next, thanks. -- PMM
