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


  • Includes semaphores, mutexes, data queues, event flags and fixed-sized memory pools. The system performs a preemptive priority-based scheduling and a round-robin scheduling for the tasks with identical priority.
  • TNKernel is a fully portable (it is written mostly in ANSI C except the processor-specific parts) and was ported for the 8/16/32bits MCUs.
  • On TNKernel site, you also can find an another projects, that are usable for the embedded systems design - TCP/IP stack, USB bulk firmware etc.


License: GPL

TNKernel Platforms

  • MSP430
  • ColdFire

TNKernel Components

  • None