# CONFIG_RT_GROUP_SCHED_DEFAULT_DISABLED is not set
