It appears that the uCOS system timer relies on the TICKS_PER_SECOND #define in constants.h to set the rate of the timer interrupt. It also appears though that alll the uCOS functions are compiled into one of the libraries (which one?), and so they need to be rebuilt to effect this change. I created my own library by building all the files that include constants.h, and inserted this library into the linker list ahead of the others, but this results in trap errors at runtime.
Are there instructions on the contents of each of the libraries and how to rebuild them? Twould be useful to have the inventory for all of them, if not the project files for each.