beremiz

beremiz/targets/Xenomai/
Removed dead code

2018-02-13, Edouard Tisserant
e6de7df5f401