TNKernel is a compact and very fast real-time kernel for the embedded 32/16 bits microprocessors.

  TNKernel performs a preemptive priority-based scheduling and a round-robin scheduling for the tasks with identical priority. The current version of TNKernel includes semaphores, mutexes, data queues, event flags and fixed-sized memory pools. The system functions calls in the interrupts are supported.

  TNKernel is a fully portable (is written mostly in ANSI C except the processor-specific parts), but the current version of TNKernel has been ported for the ARM and PIC24/dsPIC microprocessors only.

  TNKernel has been written "under the significant influence" of the µITRON 4.0 Specifications. 

  µITRON 4.0 Specifications is an open real­time kernel specification developed by the ITRON Committee of the TRON Association. The µITRON 4.0 Specification document can be obtained from the ITRON Project web site (http://www.assoc.tron.org/eng/document.html ).

  TNKernel is distributed in the source code form free of charge under the FreeBSD-like license