On 15 June 2016 at 10:20, Andrew Jones <drjo...@redhat.com> 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
