On 29 November 2012 17:16, Marc Zyngier <marc.zyngier@xxxxxxx> wrote: > Userspace needs to know how big the CPU and distrbutor interfaces > are in order to map them at non overlapping addresses. As it happens, QEMU doesn't -- we assume that if we asked for an A15 with a GIC then you give us a GIC compliant with the A15 TRM and the GIC v2 spec, which lays down how big the CPU and distributor memory regions must be. I'm not convinced the kernel needs to include in its userspace-facing headers definitions which are purely properties of the hardware. -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
