TNKernel – Fast RT Kernel for Embedded Systems

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.

Ports -Microchip PIC24/dsPIC; Freescale HCS08; ARM Cortex-M3; Freescale ColdFire.