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

[Peter Maydell]

On 15 June 2016 at 10:20, Andrew Jones <address@hidden> wrote:
> There may be a bug in the freebsd kernel. Maybe they need the equivalent
> of Linux's 7c9b973061 "irqchip/gic-v3: Configure all interrupts as
> non-secure Group-1". You could add the hack back that was in the initial
> posting of this series to see if that "fixes" things.

I agree it's possible this is a freebsd bug, but the hack patch
won't help here because we're booting via EFI.

thanks
-- PMM