On 22 June 2016 at 16:53, Peter Maydell <peter.mayd...@linaro.org> wrote: > > Yeah, it looks like the same bug is also present in UEFI itself > (it's super popular!). Laszlo, Ard, do you have a prebuilt > UEFI binary with Ard's fix? > > Probably you'll find that if UEFI is configuring the GIC interrupt > groups FreeBSD will boot even without doing it itself, but I > think ideally FreeBSD shouldn't assume the bootloader's done > that job for it.
Oh, good point. Indeed FreeBSD should not make this assumption. I'm not sure how I'd test the FreeBSD fix then though (booting w/o the UEFI firmware doing this configuration).