RTX_Config.c file for TI TMS470 devices?

Hello,
I was wondering if Keil has come out yet with
a RTX_Config.c file for the TI TMS470 (ARM7TDMI)
devices, or if anyone had successfully modified
the above mentioned file after copying the Philips
device file?

My team is trying to incorporate the RTX kernel
into our project and is unsure as to what modifications would be necessary. I've tried following the instructions described in the "Using RTX Kernel in a New Project" guide on the Keil web-site, but am stuck trying to replace certain timer register definitions of the Philips MCU with somewhat
comparable modules from the TMS470R1B1M. Without these
modifications, the project won't build properly.

Any ideas or files available?

More questions in this forum