Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 22 Jul 2018 23:17:59 +0200] rev 2702
rtdm skin is equivalent to posix in Xenomai3's xeno-config. Replace XENOMAI_RTDM_*FLAGS by XENOMAI_LIB_*FLAGS to distinguish lib/example flags.
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 10 Jul 2018 16:49:05 +0200] rev 2701
Add module installation path to configure options
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 08 Jul 2018 13:40:31 +0200] rev 2700
Intermediate state while updating master's RTDM part to Xenomai 3
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 08 Jul 2018 13:33:09 +0200] rev 2699
Added --with-xenomai-config to override xenomai config command, also allowing special environment variables to be passed.
Example : --with-xenomai-config="DESTDIR=/path/to/staging /path/to/xeno-config"
Florian Pose [Tue, 13 Feb 2018 17:16:01 +0100] rev 2698
Fixed scheduler settings in dc_user example; use CLOCK_MONOTONIC.
Florian Pose [Tue, 06 Feb 2018 14:58:14 +0100] rev 2697
Use sched_setscheduler() to set priority in user example.
Florian Pose [Tue, 30 Jan 2018 17:09:33 +0100] rev 2696
Applied 0002-use-setup_timer-for-v4.15.patch from Beckhoff.