The C Kernel is a real-time preemptive kernel specially written for embedded applications running on various micro controller environments. Checkout the download section or the news sections to find out which micro controllers and C compilers are supported or are under development. Since The C Kernel is written in C it is easy to make new bindings (ports) to other compilers and micro controllers or processors.