On 22 June 2016 at 22:45, Ed Maste <ema...@freebsd.org> wrote: > 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).
Mmm, tricky. I guess you could hack UEFI to only put the interrupts it is itself using into group 1 (presumably the timer interrupt). [I'm guessing FreeBSD doesn't support Linux-kernel-boot-protocol, or you could use -kernel.] -- PMM
