Minimize Jitter: Linux vs. Xenomai