Xenomai 3 strikes again : rt_event_* takes 32b mask now
revamp
2018-03-23, Edouard Tisserant