Hello! > The only platform I can think of that uses ARMv7ve without actually having > a GIC is BCM2836 (Raspberry Pi 2). Can we actually run KVM on a platform > like that? We can, with two limitations: 1. GIC has to be emulated in software. I have recently fixed support for this. The only problem here would be that KVM currently refuses to initialize if there's no vGIC, but it is easy to fix, i posted patches for this too. 2. We cannot emulate CP15 timer, because accessing virtual timer registers cannot be trapped to HYP. However, it is possible to trap physical timer access, but a small KVM API extension is needed for this. Currently it is possible to run qemu vexpress model in this mode, because it has another, memory-mapped timer. It is only necessary to either remove CP15 timer from guest device tree, or disable support in guest .config. 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