请问S32K146使用的SDK可以集成FreeRTOS10.5.1吗？

我们使用的芯片是S32K146，我们使用的SDK是RTM4.0.3版本。
集成的 FreeRTOS 版本为 10.2.1。
在Free RTOS官网上，Free RTOS Kernel的最新版本是10.5.1。
请问，S32K146使用的SDK可以集成FreeRTOS 10.5.1吗？
或者是否有SDK或计划集成最新的Free RTOS版本，请确认。