BSD kernels generally do not have such good support for hard real time applications. It's been done though, so I don't know if it would have a real impact.
No need for hard real time, first level detector output goes through FPGAs which only pass potentially interesting data to the Linux powered systems which do further data filtering.
