EOS is an open source real time kernel that was originally developed for the Infineon XC167 processor, and is freely available at sourceforge.net/.../eos-xc167-rtos
The following features were introduced in version 2.2: * The interface 'rtos_disable_scheduler' is modified so that it prevents interrupts from causing scheduling. * The number of utilized hardware timers is reduced from 3 to 2. * Hardware timer frequencies are be adjusted to match the required 100[µs] at 40[MHz].
This is the final release for the C166 family as my interests have shifted towards the ARM architecture.