On 14 April 2014 07:10, Peter Crosthwaite <peter.crosthwa...@xilinx.com> wrote: > On Sat, Mar 29, 2014 at 2:10 AM, Peter Maydell <peter.mayd...@linaro.org> > wrote: >> Support the Cortex-A57 in the virt machine model. >> >> Signed-off-by: Peter Maydell <peter.mayd...@linaro.org> >> --- >> This should perhaps not be just stealing the a15mpcore_priv >> on the basis that it's a GICv2... > > Yeh, I still think its a minimal change to just instantiate a standalone gic.
I think a standalone GIC would be really awkward in virt.c, but I'm inclined towards having an a57mpcore_priv which provides a 64K-aligned GICv2 (ie, as per the server base system architecture doc, the 4K GIC register banks get aliased so they appear 16 times in a 64K space). thanks -- PMM
