What is Linux/RK?¶

Linux/RK stands for Linux/Resource Kernel, which incorporates real-time extensions to the Linux kernel to support the abstractions of a resource kernel. Linux/RK is developed by the Real-time and Multimedia Systems Laboratory led by Prof. Raj Rajkumar at Carnegie Mellon University. Current ongoing research topics include...