On 23 June 2016 at 21:03, Ard Biesheuvel <ard.biesheu...@linaro.org> 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
