On Wednesday 17 December 2014 15:01:29 Marc Zyngier wrote: > > Indeed, as described in the documentation: > http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.ddi0471b/CHDIFAEE.html > > Also it is worth noticing that given how GICV is placed, it will never > work with 64K pages and virtualization. Pretty sad. Does this mean no VGIC support on this platform so you have to emulate it in order to run virtual machines with 64K pages, or does it mean that it's impossible to use that way because you can't emulate it? Arnd -- To unsubscribe from this list: send the line "unsubscribe devicetree" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html