Latest projects

• Linux/RK (07/02/2013 12:20 PM)

  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...