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 _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
