Hi,
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.
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).