This is the RTOS that will be used. Not every feature in here is supported by CMSIS, so it’s important to check both documentations.

Free RTOS Book and Reference Manual