Tue, 06 Feb 2018 14:58:14 +0100 | Florian Pose | Use sched_setscheduler() to set priority in user example. | changeset | files |
Tue, 30 Jan 2018 17:09:33 +0100 | Florian Pose | Applied 0002-use-setup_timer-for-v4.15.patch from Beckhoff. | changeset | files |