On 13 March 2014 15:57, Antonios Motakis <a.motakis@xxxxxxxxxxxxxxxxxxxxxx> wrote: > (3) Implement routing support for the VGIC and using the VGIC via irqchip.c. > > Assuming support for a GIC with Cortex-A15 CPUs, we can refer to the A15 TRM Don't assume A15, please. The API should be based on the GIC architectural specifications, not on a particular implementation (especially when we already have multiple implementations supported!) Notice that the IRQ_LINE API that you quote does this -- we leave at least enough space for the architectural maximums, not merely the A15's maximums. It would also be helpful if you could explain what the IRQ routing API you're proposing is -- the KVM api.txt is extremely x86 specific in this area and it's not clear to me what "IRQ routing" means for ARM... thanks -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
