RealTime Linux Kernel with additional patches