Do you have an ETA on FreeRTOS glue layer? Richard Barry from Real Time Engineers Ltd said that they would release an extension for both FreeRTOS and SafeRTOS but no ETA.
There's an unofficial releases by FiFi-SDR but I am looking for official support by either mbed or Real Time Engineers Ltd:
I'm afraid we have so many developments ongoing at this time I can't offer an accurate ETA.
We added CMSIS RTOS API support to FreeRTOS in PolyMCU framework (https://github.com/labapart/polymcu).
You can easily switch the RTOS by only changing a single variable.
We also created a CMSIS RTOS conformance test to ensure any CMSIS RTOS behaves correctly: https://github.com/labapart/polymcu/blob/master/Application/LabAPart/CMSISRTOSConformance/README.md
PolyMCU is an Open-Source firmware framework based on CMSIS - primarily targetting ARM Cortex-M. The framework supports GCC and LLVM toolchain. As it is based on CMake, it supports Windows/Linux/MacOS.
In term of firmware, it supports Baremetal/ARM RTX/FreeRTOS environment and major MCU vendors (Freescale, Nordic, NXP, ST).