On Tue, Oct 02, 2012 at 07:31:43PM +0100, Peter Maydell wrote: > We probably want to be passing in the "base of the cpu-internal > peripherals", rather than "base of the GIC" specifically. For the > A15 these are the same thing, but that's not inherent [compare the > A9 which has more devices at fixed offsets from a configurable > base address]. If you do that, userspace will need a way to probe the emulated CPU so that is knows exactly which set of peripherals there are and which ones it needs to emulate. This feels pretty nasty, given that the vgic is handled more or less completely by the kernel-side of things. Will -- 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