Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel