vmm (bhyve) on GICv2

From: Lexi Winter <lexi_at_le-fay.org>
Date: Wed, 22 May 2024 07:02:52 UTC
hello,

i was pleased to see ARM64 vmm has been merged to main recently.

i have several use-cases to run bhyve on RPi4, but unfortunately this
hardware only supports GICv2 while vmm requires GICv3.

does anyone have an idea if GICv2 is likely to be supported in the
future?