RE: [PATCH v3 2/3] Detect vGIC presence at runtime

Pavel Fedin
2015-08-14T13:41:35Z

Hello!

> This is completely Linux-specific, unfortunately.

Yes. But better than nothing.

> And it relies on
> userpace to expose a modified DT, so you need to be able to report back
> to userspace that you can't deal with the virtual timer.

Easy. If KVM_CAP_IRQCHIP == 0, then we apparently don't have vGIC, and since we know that vGIC and
vTimer are paired, we know that there is no vTimer too.

Kind regards,
Pavel Fedin
Expert Engineer
Samsung Electronics Research center Russia