beremiz

beremiz/targets/Linux/
fix target Xenomai missing functions

2017-07-05, wuyangtang
a86deec92e08