CMSIS-RTOS RTX手册上面在解释 #define osKernelSystemId "RTX V4.73" 的时候是这么举例子的:
Defines a string that identifies the underlying RTOS Kernel and provides version information.
The length of that string is limited to 21 bytes. A valid identification string is for example, "FreeRTOS V1.00".