Investigating the Network Performance of a Real-Time Linux Kernel