Re: [PATCH v8 4/7] xen/cpupool: Create different cpupools at boot time

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Fri, 6 May 2022, Juergen Gross wrote:
> On 06.05.22 14:00, Luca Fancellu wrote:
> > Introduce a way to create different cpupools at boot time, this is
> > particularly useful on ARM big.LITTLE system where there might be the
> > need to have different cpupools for each type of core, but also
> > systems using NUMA can have different cpu pools for each node.
> > 
> > The feature on arm relies on a specification of the cpupools from the
> > device tree to build pools and assign cpus to them.
> > 
> > ACPI is not supported for this feature.
> > 
> > With this patch, cpupool0 can now have less cpus than the number of
> > online ones, so update the default case for opt_dom0_max_vcpus.
> > 
> > Documentation is created to explain the feature.
> > 
> > Signed-off-by: Luca Fancellu <luca.fancellu@xxxxxxx>
> > Reviewed-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
> 
> Reviewed-by: Juergen Gross <jgross@xxxxxxxx> # non-arm parts

With this, I think the whole series is ready to be committed. I would
like an Ack from Dario/George for the minimal changes to sched/ kconfig
and sched.h.