Hi all, you can download it from 'http://www.sourceforge.net'. Search for EOS (the description is "'EOS' is a fully functioning real time kernel originally developed for the Infineon XC167CI microcontroller."). Source is totally free. Enjoy.
Tamir Michael
Possibly - in which case, why didn't he mention it?