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 <[email protected]> > Signed-off-by: Andrew Jones <[email protected]> > > --- > 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 <[email protected]>
