Re: micro kernel
scmRTOS
Single-Chip Microcontroller Real-Time Operation System
FREE Tiny Preemptive RTOS For Embedded Applications
/http://scmrtos.narod.ru/
Real time OS for MSP430 microcontroller family
/http://users.ints.net/skidan/SOS/
FreeRTOSTM is a portable, open source, mini Real Time Kernel - a free RTOS. This site shows how a complete embedded solution can be created from a Windows host using quality open source or low cost development tools.
/http://www.freertos.org/