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 – Fast RT Kernel for Embedded Systems
Ports -Microchip PIC24/dsPIC; Freescale HCS08; ARM Cortex-M3; Freescale ColdFire.
Things of Interest – TN NET TCP/IP stack; USB bulk firmware.