Sample Keil RTX Project with ADuC712x?

Is there a sample project using Keil's RTX RTOS with the ADuC712x? The startup folder in the Keil installation folder includes an RTX configuration file for the ADuC702x, but I've already found that the names of some of the timer registers are different in the ADuC7128 header file (T0VAL0 for 7128, T0VAL for 702x, T0ICLR for 7128, T0CLRI for 702x, etc) and am concerned that there may be other more significant differences.