Edouard Tisserant [Mon, 26 Sep 2011 00:24:04 +0200] rev 617
fixed debug with xenomai, fixed unprotected access to ___debug_tick
Edouard Tisserant [Sun, 25 Sep 2011 22:51:51 +0200] rev 616
Xenomai Fix : runs, but still fail in debug
Edouard Tisserant [Thu, 22 Sep 2011 17:35:29 +0200] rev 615
Xenomai Fix : build