Welcome to the TNKernel home !

  TNKernel is a compact and very fast real-time kernel for the embedded 32/16/8 bits microprocessors.
  TNKernel was inspired by the μITRON 4.0 specification.
  The current version of TNKernel 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.