On Mon, May 4, 2015 at 8:16 PM, Edgar E. Iglesias <edgar.igles...@xilinx.com> wrote: > On Fri, Apr 24, 2015 at 01:28:42PM -0700, Peter Crosthwaite wrote: >> Add the GIC and connect IRQ outputs to the CPUs. > > This will not work with device-trees that place the GICC maps at the > top of the 64K (due to the 64K address swizzling) which I expect to > be the default. > > Maybe we can just model the aliasing either here or in the GIC... >
Implemented aliasing on the machine model in V7. Regards, Peter > Cheers, > Edgar > >> >> Signed-off-by: Peter Crosthwaite <peter.crosthwa...@xilinx.com> >> ---