[flameout]

Thank you -- I saw the whitepaper, but that didn't mention anything specific about the kernel itself. The NI community post is much more informative.

I'm glad to hear it's PREEMPT_RT -- in my experience with RTAI, Xenomai, and PREEMPT_RT, it has (by far) the best driver selection, being the only one able to use standard Linux drivers in realtime.