Debugging tools also suggested 'normal' pagefaults. Made me look for the mlockall() call which turns out to be unsuccessful. I made a mistake in evaluating its (non-zero) return value, which caused the error to go by unnoticed.
The reason mlockall() fails is that I executed the real-time program as non-root. (Guess I'll have to figure out that daunting sudoers thing...)
Thanks for your advice, which led me in the right direction.
Jeroen.
_______________________________________________ Xenomai-help mailing list Xenomai-help@gna.org https://mail.gna.org/listinfo/xenomai-help