kernel/configs/fedora/generic/riscv/CONFIG_RT_GROUP_SCHED