Applying the Realtime patch to the Linux kernel