configure freeRTOS MPU for S32k312

[sunyy]

Hello All,
I want to use MPU related functions on S32K312, but I can't find the MPU related port file.
1.Does ARM-CM7 have freeRTOS that supports MPU?
2.how to configure freeRTOS MPU for S32k312?
3.Can I directly use the port file in ARM-CM4-MPU instead of the ARM-CM7 file?

Best regards.

[lukaszadrapa]

Hi @sunyy 

There are two FreeRTOS ports, one that includes MPU support and one that doesn't. S32K3 Reference Software package contains port without the MPU support. It's up to user to port version with MPU if MPU if is needed.

Regards,

Lukas

[sunyy]

Thank you for your reply.
Which MPU port version should I use and where can I obtain MPU supported port versions?