On Fri, 24 May 2024 at 12:33, Sebastian Huber
<sebastian.huber@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