Mon, 30 Jul 2018 11:58:02 +0200migrate native xenomai example to Xenomai3 stable-1.5
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 30 Jul 2018 11:58:02 +0200] rev 2704
migrate native xenomai example to Xenomai3