Linux/RK

Linux/RK is an implementation of a Resource Kernel based on Linux. It is developed by the Real-time and Multimedia Systems Laboratory at Carnegie Mellon University.