TNeo is a compact and fast real-time kernel for embedded 32/16 bits microprocessors. It performs a preemptive priority-based scheduling.
TNeo was born as a thorough review and re-implementation of TNKernel 2.7. The new kernel has well-formed code, inherited bugs are fixed as well as new features being added, it is well documented and tested carefully with unit-tests.
Currently it is available for the following architectures:
API is changed somewhat, so it's not 100% compatible with TNKernel, hence the new name: TNeo.
TNeo is hosted at bitbucket: http://bitbucket.org/dfrank/tneokernel