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

2022-04-20 Thread Juergen Gross
On 20.04.22 16:00, Luca Fancellu wrote: On 13 Apr 2022, at 08:22, Jan Beulich wrote: On 13.04.2022 09:15, Luca Fancellu wrote: No, I'm not suggesting a new menu. I was merely wondering whether the Kconfig contents wouldn't location-wise better match where the respective source file

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

2022-04-20 Thread Luca Fancellu
> On 13 Apr 2022, at 08:22, Jan Beulich wrote: > > On 13.04.2022 09:15, Luca Fancellu wrote: >> No, I'm not suggesting a new menu. I was merely wondering whether the Kconfig contents wouldn't location-wise better match where the respective source file lives. >>> >>> It

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

2022-04-13 Thread Jan Beulich
On 13.04.2022 09:15, Luca Fancellu wrote: > >>> >>> No, I'm not suggesting a new menu. I was merely wondering whether the >>> Kconfig contents wouldn't location-wise better match where the >>> respective source file lives. >> >> It could be in xen/common/sched/Kconfig at the beginning of the file

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

2022-04-13 Thread Luca Fancellu
>> >> No, I'm not suggesting a new menu. I was merely wondering whether the >> Kconfig contents wouldn't location-wise better match where the >> respective source file lives. > > It could be in xen/common/sched/Kconfig at the beginning of the file > before creating the new "Schedulers" menu,

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

2022-04-12 Thread Stefano Stabellini
On Tue, 12 Apr 2022, Jan Beulich wrote: > On 12.04.2022 11:50, Luca Fancellu wrote: > >>> --- > >>> MAINTAINERS | 2 +- > >>> docs/misc/arm/device-tree/cpupools.txt | 140 + > >>> xen/arch/arm/domain_build.c | 5 +- > >>> xen/arch/arm/include/asm/smp.h | 3 + > >>> xen/common/Kconfig |

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

2022-04-12 Thread Jan Beulich
On 12.04.2022 11:50, Luca Fancellu wrote: > >>> --- >>> MAINTAINERS | 2 +- >>> docs/misc/arm/device-tree/cpupools.txt | 140 + >>> xen/arch/arm/domain_build.c | 5 +- >>> xen/arch/arm/include/asm/smp.h | 3 + >>> xen/common/Kconfig | 7 + >> >> For consistency, should the addition

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

2022-04-12 Thread Luca Fancellu
>> --- >> MAINTAINERS | 2 +- >> docs/misc/arm/device-tree/cpupools.txt | 140 + >> xen/arch/arm/domain_build.c | 5 +- >> xen/arch/arm/include/asm/smp.h | 3 + >> xen/common/Kconfig | 7 + > > For consistency, should the addition here - with ... > >> xen/common/sched/Makefile | 1 +

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

2022-04-11 Thread Jan Beulich
On 11.04.2022 17:20, 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

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

2022-04-11 Thread Luca Fancellu
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