[config] Multi-core scheduler support
Hello,
I was wondering if the config options
CONFIG_SCHED_MC=y
CONFIG_SCHED_SMT=y
aka Multi-core scheduler support
and SMT scheduler support
should be enabled to make better use of the multiple cores on the raspberry pi ? But I don't really know how the the cores are handled on the pi.
The arch kernel has those enabled though : https://github.com/archlinuxarm/PKGBUILDs/blob/master/core/linux-raspberrypi4/config