Hi! > If we want to support "KVM but without in-kernel irqchip" I would > really prefer that we did it this way, by implementing an ABI for > letting the kernel tell us about the generic timer interrupts
Yes, but: 1. This would work only for newer kernels. 2. This little patch allows to work on older kernels, at least somehow. > IIRC chazy had a hacked-together patch for that at some point. Who is it? Where can i find it? > Is hardware with no working VGIC really prevalent enough that > it's worth adding support? Presumably the performance isn't going > to be very good... At least RaspberryPi 2, as far as i know. Also i am testing on some Samsung proprietary HW which has the same problem. Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia