$ 0 0 After some exchanges on FreeRTOS Forum, it looks like HALCOGEN generated code is missing MPU_pvPortMalloc() and MPU_vPortFree()!