Tue, 06 Feb 2018 14:58:14 +0100Use sched_setscheduler() to set priority in user example. stable-1.5
Florian Pose [Tue, 06 Feb 2018 14:58:14 +0100] rev 2697
Use sched_setscheduler() to set priority in user example.