On 26 July 2013 15:54, Yoder Stuart-B08248 <B08248@xxxxxxxxxxxxx> wrote: > On the question of what GIC is exposed, wouldn't that be exposed > in the device tree and be orthogonal to the question of which > CPU a VM sees? > > Even if ARM v8 CPU requires a GICv3, it seems like a bad > assumption for an OS to just assume a GIC v3 without > checking what is advertised in the device tree. This seems to me to be something of a Linuxism. You can't assume that every guest OS will take a device tree as its means of figuring out what it's running on. -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm