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
http://www.keil.com/forum/docs/thread8453.asp#msg39265
I think he posted a new message, with the correct toolset specified, but was unable to delete the first post.
There are more threads with identical posts but you don't get a chance to fix it. At least he took the trouble of setting the toolset.
-- Joost
Possibly - in which case, why didn't he mention it?