On 16 February 2016 at 12:05, Andrea Bolognani <abologna(a)redhat.com> wrote:
The idea is to add this information to domain capabilities, which
already have virtualization type, architecture and machine type as
inputs.
Since GIC is only available for the virt machine type on ARM hosts,
and the GIC versions might be limited by using TCG instead of KVM,
it seems like it would fit nicely...
The GIC is available for more than just "virt". It's just that
at the moment "virt" is the only machine type which lets you
pick which GIC version you want, and so the only machine type
with that machine property. (For instance vexpress-a15
is always GICv2, since the hardware we're modelling there is
always GICv2.)
Other board models in future might support a choice of GIC
versions. (The obvious possibility would be the Android
'ranchu' board if that is ever upstreamed.)
thanks
-- PMM