On 15 June 2016 at 06:10, Peter Maydell <peter.mayd...@linaro.org> wrote: > > A quick scan through http://fxr.watson.org/fxr/source/arm64/arm64/gic_v3.c > doesn't seem to show it setting the IGROUPR registers anywhere, > so it probably is a guest bug. (You can use "-d 'trace:gicv3*'" to > enable the tracepoints for the GIC which would let you check whether > the guest ever tries to write to the group config registers.)
Is there a prebuilt QEMU_EFI.fd available somewhere for testing a FreeBSD change to address this? I've been using the prebuilt ones from https://wiki.linaro.org/LEG/UEFIforQEMU and the latest one I had did not start with gic-version=3.