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