如何在S32DS下获得FreeRTOS配置选项？

我正在使用带有 S32K396 开发包的 FreeRTOS。我在 S32DS 下获取操作系统选项来配置 RTOS 相关参数。


最近更新后，上面的菜单中缺少操作系统选项。
我最近用 2023 年 3 月的版本更新了我的 S32K396 开发包。我不再获得在同一菜单下配置 FreeRTOS 的选项。我没有看到通过 SDK 添加 FreeRTOS 的选项。以下是我的 S32K396 包版本号的详细信息。你能帮我在 S32DS 下获得 FreeRTOS 配置选项吗？