beremiz

Xenomai Fix : build

2011-09-22, Edouard Tisserant
72bc3e53a1fa
Xenomai Fix : build
(binary:image/png)