[chupasaurus]

> 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