Hello Abiadh, yes, it does support realtime linux. I've known of customers that have ported Xenomai, though it is something you will have to do since we do not have patches for it.
Thank you.
It's pity to know that Xenomai is not patched :smileyconfused: