To not answer either of your questions: I am trying to get Xenomai working. However I am a bit of a fumbling hacker, so probably not the person best placed to succeed in this endeavour.
