Where are those files and what do they have to do with Qemu? I think this is bhyve part.
It seems to be supported by Qemu now. What doesok,but for doing what ? is it bhyve for arm64 ? I never used it yet. I don't have a piece of hardware fully compatible with gicv3. I ask because there is a pending project that accellerate qemu with vmm. I wonder if those files can be useful for achieving that goal.
qemu-system-x86_64 -accel help