STM32Cube Hal如何去认证RTOS？

我们一直在使用 STM32Cube Hal 驱动程序、堆栈和 FreeRTOS 的产品中使用 STM32 L 系列和 F 系列微处理器。现在我们必须去认证 RTOS。查看 SafeRTOS 、Azure Threadx 和 Flexible Safety RTOS 的选项。我们想知道，未来，STM32Cube/Mx 是否支持用于中间件或堆栈的 FreeRTOS/SafeRTOS/AzureThreadx。因此，我们想选择我们的选择。