Sun, 22 Jul 2018 23:17:59 +0200 Edouard Tisserant rtdm skin is equivalent to posix in Xenomai3's xeno-config. Replace XENOMAI_RTDM_*FLAGS by XENOMAI_LIB_*FLAGS to distinguish lib/example flags. stable-1.5
Tue, 10 Jul 2018 16:49:05 +0200 Edouard Tisserant Add module installation path to configure options stable-1.5
Sun, 08 Jul 2018 13:40:31 +0200 Edouard Tisserant Intermediate state while updating master's RTDM part to Xenomai 3 stable-1.5
Sun, 08 Jul 2018 13:33:09 +0200 Edouard Tisserant Added --with-xenomai-config to override xenomai config command, also allowing special environment variables to be passed. stable-1.5
Tue, 13 Feb 2018 17:16:01 +0100 Florian Pose Fixed scheduler settings in dc_user example; use CLOCK_MONOTONIC. stable-1.5
Tue, 06 Feb 2018 14:58:14 +0100 Florian Pose Use sched_setscheduler() to set priority in user example. stable-1.5
Tue, 30 Jan 2018 17:09:33 +0100 Florian Pose Applied 0002-use-setup_timer-for-v4.15.patch from Beckhoff. stable-1.5
Tue, 30 Jan 2018 17:08:21 +0100 Florian Pose Applied CCAT patch 0001-fix-ccat-netdev-for-v4.11.patch from Beckhoff. stable-1.5