Hi @Ean
According to the provided information by the internal team. There are two FreeRTOS ports, one that includes MPU support and one that does not. The S32K3 Reference Software package contains port without MPU support. It is up to the user to port the version with MPU if needed.
B.R.
VaneB