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 -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
