Hello! > I wonder if these patches would pave the way to support running GICv2 > guests on GICv3s without compat support? Yes, it does. I haven't implemented GICv3 bit for this time, but - yes. And it will be a very small addition. > Pavel, is this "broken" GIC you are talking about going to appear in a > publicly available SoC? In kernel documentation it's known as "FrankenGIC". First of all, it's Exynos 4 (however i don't know whether it implements virtualization extensions). Second, it is present in many consumer electronics products (does this count as "publicly available"? But you can learn this fact from Samsung's opensource releases). I use one of these boards for my tests because we have lots of them here :) Third, this code doesn't really depend on hardware GIC, and can be reused on RPi-2 with a little more hacking. Fourth, there is at least of one ARM64 machine with broken vGICv3. And you can buy it. I have it here. And it would also benefit from this code (yes, with GICv3 CPU interface emulation added, which becomes trivial). Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
