hi, Xenomai is the primary RT kernel we use, in particular on embedded ARM's, so I want to be sure this works I cannot fully decode this thread: https://xenomai.org/pipermail/xenomai/2015-March/033783.html so I thought I'd ask here - am I in safe territory? thanks in advance, Michael