Hi, On 10/11/16 17:21, Andrew Jones wrote: > By adding support for launching with gicv3 we can break the 8 vcpu > limit. This patch adds support to smp code and also selects the > vgic model corresponding to the host. The vgic model may also be > manually selected by adding e.g. -machine gic-version=3 to > extra_params. > > Reviewed-by: Alex Bennée <alex.ben...@linaro.org> > Signed-off-by: Andrew Jones <drjo...@redhat.com> > > --- > v5: left cpus a u32 for now. Changing to u64 requires a change to > devicetree. Will do it later. [Andre]
Given that we address this in the future: Reviewed-by: Andre Przywara <andre.przyw...@arm.com>
