| 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. | changeset | files |
| Tue, 10 Jul 2018 16:49:05 +0200 | Edouard Tisserant | Add module installation path to configure options | changeset | files |
| Sun, 08 Jul 2018 13:40:31 +0200 | Edouard Tisserant | Intermediate state while updating master's RTDM part to Xenomai 3 | changeset | files |
| 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. | changeset | files |