[Boot] enable RT_GROUP_SCHED by default if optimizations enabled

Documented here:
https://www.kernel.org/doc/html/latest/scheduler/sched-rt-group.html

It looks like the documentation is very outdated though (as SCHED_EDF
exists and is named SCHED_DEADLINE).
This commit is contained in:
Antoine Viallon 2024-05-07 16:23:40 +02:00
parent a6fc37896c
commit f835a985f4
Signed by: aviallon
GPG key ID: 186FC35EDEB25716

View file

@ -145,7 +145,7 @@ in {
x32abi.enable = mkEnableOption "X32 kernel ABI";
kvdo.enable = mkEnableOption "dm-kvdo kernel module";
rtGroupSched.enable = mkEnableOption "RT cgroups";
rtGroupSched.enable = mkEnableOption "RT cgroups" // { default = config.aviallon.optimizations.enable; };
energyModel.enable = mkEnableOption "Energy Model";
patches = {