diff options
Diffstat (limited to 'TOOLS')
-rwxr-xr-x | TOOLS/patch_configs.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/TOOLS/patch_configs.py b/TOOLS/patch_configs.py index 7f3c8cc..f020fa3 100755 --- a/TOOLS/patch_configs.py +++ b/TOOLS/patch_configs.py @@ -22,9 +22,7 @@ GENERIC_PATCHES = [ ["TCP_CONG_BBR2", None, MODULE], ["SECURITY_LOCKDOWN_LSM_EARLY", None, UNSET], # scheduler stuff - ["SCHED_ALT", None, ENABLE], - ["SCHED_BMQ", None, ENABLE], - ["SCHED_PDS", None, UNSET], + ["SCHED_BORE", None, ENABLE], # device specific config |