Links of Interest


Linux/RK stands for Linux/Resource Kernel, which incorporates real-time extensions to the Linux kernel to support the abstractions of a resource kernel. A resource kernel is a real-time kernel (operating system) that provides timely, guaranteed and enforced access to system resources for applications.

Linux/RK is developed, distributed and supported by the Real-time and Multimedia Systems Laboratory led by Dr. Raj Rajkumar at Carnegie Mellon University.

Latest Release of Linux/RK

Older Releases of Linux/RK

Current ongoing research topics include

Energy-Aware Linux/RK

Energy-Aware Linux/RK incorporates dynamic-voltage-scaling algorithms on CPU to minimize the energy consumption and still maintain temporal isolation for applications. We support four voltage-scaling algorithms, SYS_CLOCK, PM_CLOCK, DPM_CLOCK and aggressive DPM_CLOCK. SYS_CLOCK is the optimal algorithm for systems that have high timing overhead on voltage or frequency scaling such as IPAQ and BitsyX which take about 20 ms to switch the voltage. PM_Clock is a static algorithm which determines different clock frequency for each application during admission control. This is suitable for systems with low switching overhead such as our modified XScale BRH board. DPM_CLock and agressive DPM_Clock make benefit of on-line slack when reservations are under-used to determine lower frequency on the fly. Detailed information on Energy-Aware Linux/RK can be found in this [ssaewong03] paper, and you can find more on Linux/RK in this [rajkumar98] paper.