There are hard realtime patches to linux and have been since 2.4

I'd imagine that there would be some previously tested (say in aerospace) linux derivative that they'd be building off.

To be perfectly honest though, I don't know why they arn't using one of the few really good commercial hard real time unix kernels that you use for, say, UAV's and such.