Re: [Qemu-devel] [PATCH v3 00/20] GICv3 emulation

[Peter Maydell]

On 23 June 2016 at 21:03, Ard Biesheuvel <address@hidden> wrote:
> UEFI is guaranteed to leave
> the GIC in a usable state for the OS if it runs from the same
> exception level

For a no-security-extensions system, leaving the interrupts
in Group 0 is still "a usable state for the OS", because
the OS will receive FIQ (and if it doesn't want the
interrupts to be FIQ it's able to reconfigure them).
Does the UEFI contract with the OS specifically guarantee
group 1, or does it just guarantee "anything that the OS
can't set up itself will be set up" ?

(for instance a future version of UEFI could hypothetically
decide to run its timer interrupt as Group 0 via FIQ.)

thanks
-- PMM