Hello, Go to http://www.sourceforge.net. Look for EOS - a fully functional kernel for an XC167CI. It can easily be adjusted for any Infineon (or ARM) microcontroller.
Enjoy! Tamir Michael
Yes, we know - you posted it before:
http://www.keil.com/forum/docs/thread8443.asp
How about posting a direct link to the project's own page on Sourceforge? There are lots of things there called "EOS"
But not called "a fully functional kernel for an XC167CI". I put it in the search box and his EOS is the first result. Easy to find; sometimes project-pages/URLs get moved but this way you can always find it (sourceforge.net/.../eos-xc167-rtos).
Nice work Tamir!
-- Joost