Traditional OS services meet enormous difficulty in low-power embedded systems because of the stringent resource constraints. It is a research challenge to design a reliable, portable, and real-time OS kernel for a large spectrum of embedded platforms. The t-kernel is designed for these goals. It supports virtual memory, preemptive scheduling, and reliable OS protection without requiring traditional hardware support (e.g., privileged instructions, virtural address translation).
The t-kernel is designed for very-low-power computers, such as Mica2 family sensor nodes. A beta version will be released soon. A tutorial and better documents will be provided soon. Please contact the author if technical support is needed before documentation is ready.
The t-kernel supports applications written in any programming. Specificatlly, it supports TinyOS-1.x applications generated by nesC/avr-gcc.
Please visit the Documentation page to learn more about the t-kernel.
If you have any comments, suggestions, or would like to report a bug, please contact Lin Gu (l i n g u s h a n g h a i @ g m a i l . c o m)
Last modified on July 7, 2006
Guest 03192 since July 07 2006