I'm not familiar with this space but I'm pretty sure there are hard realtime kernels for linux. I'd hope they're using one.
Regardless. There are many and far better alternatives to Linux for real time applications.
People are using Linux when they need HW and driver support, e.g. gigabit Ethernet, firewire and such. RTOS vendors charging shitload of money on those drivers. I trust the Linux drivers more than the RTLinux scheduler or libc. But well, recently networking went to hell, so even there they start fucking up.