From f835a985f4316a0a6a3be1e0e81fd4f3d758877b Mon Sep 17 00:00:00 2001
From: Antoine Viallon <antoine@lesviallon.fr>
Date: Tue, 7 May 2024 16:23:40 +0200
Subject: [PATCH] [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).
---
 boot.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boot.nix b/boot.nix
index 7112c08..c0b3deb 100644
--- a/boot.nix
+++ b/boot.nix
@@ -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 = {