(I don't have any experience with real-time applications.) What are some things they had to do to harden the kernel?