IS there an API call to fetch the RTOS version? If not, is the version defined in the code base somewhere? We would like to publish the version for auditing purposes...

There are macros in task.h: tskKERNELVERSIONNUMBER, tskKERNELVERSIONMAJOR, tskKERNELVERSIONMINOR and tskKERNELVERSIONBUILD