Florian Pose 199569b2d5 Use sched_setscheduler() to set priority in user example.		2021-08-24 16:35:45 +02:00
..
dc_rtai	Reverted default branch to stable-1.5.	2014-11-03 15:20:05 +01:00
dc_user	Reverted default branch to stable-1.5.	2014-11-03 15:20:05 +01:00
mini	Applied 0002-use-setup_timer-for-v4.15.patch from Beckhoff.	2021-08-24 16:35:10 +02:00
rtai	Reverted default branch to stable-1.5.	2014-11-03 15:20:05 +01:00
rtai_rtdm	Reverted default branch to stable-1.5.	2014-11-03 15:20:05 +01:00
rtai_rtdm_dc	Reverted default branch to stable-1.5.	2014-11-03 15:20:05 +01:00
tty	Reverted default branch to stable-1.5.	2014-11-03 15:20:05 +01:00
user	Use sched_setscheduler() to set priority in user example.	2021-08-24 16:35:45 +02:00
xenomai	Reverted default branch to stable-1.5.	2014-11-03 15:20:05 +01:00
xenomai_posix	Reverted default branch to stable-1.5.	2014-11-03 15:20:05 +01:00
Kbuild.in	Reverted default branch to stable-1.5.	2014-11-03 15:20:05 +01:00
Makefile.am	Reverted default branch to stable-1.5.	2014-11-03 15:20:05 +01:00