> I think these days the kernel reserves (optionally?) 5% cpu to non rt tasks That is the default setting (documentation [0]). [0] https://docs.kernel.org/sch

> I think these days the kernel reserves (optionally?) 5% cpu to non rt tasks That is the default setting (documentation [0]). [0] https://docs.kernel.org/scheduler/sched-rt-group.html https://docs.kernel.org/scheduler/sched-rt-group.html