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
View all questions in Keil forum