NI's cRIO devices use a real-time variant of Linux.

http://www.ni.com/white-paper/14627/en/