Re: [Qemu-arm] [PATCH v5 00/20] arm_gic: add virtualization extensions support

[Peter Maydell]

On 27 July 2018 at 10:54, Luc Michel <address@hidden> wrote:
> v5:
>   - Patch 7: dropped unreachable 'return NULL' [Peter]
>   - Patch 12: reworked the way invalid vIRQ are handled. The
>     specification being uncleared, I used real hardware to check our
>     previous hypothesises. See commit message for the adopted behaviour.
>     The main difference is that when EOIMode is true (EOI split is
>     enabled), a write to V_EOIR never increments H_HCR.EOICount. [Peter]
>   - Patch 14-15: fixed commit message regarding mirrored regions. [Peter

Thanks (and especially for taking the time to check the hardware
behaviour where the spec was unclear).

I've applied this series to my target-arm.for-3.1 branch ready
for when we reopen master after the 3.0 release.

thanks
-- PMM