FreeRTOS version 9.0.0
MCU: EFR32FG1P133F256GM48-C0, contains ARM Cortex M4 with MPU and FPU (a.k.a. M4F)
I use GCC.
Looking at the provided ports, MPU is only supported in portable\GCC\ARM_CM4_MPU
and Tickless sleep only in portable\GCC\ARM_CM4F
I would like to use both MPU and Tickless sleep. Has anyone attempted this, or is there
a reason that it would be impossible to do?
If there is an issue related to the FPU I think I can manage with FPU disabled.
On a side note: You can find bits and pieces of code online, but it’s for old versions of FreeRTOS and for M3 or other cores, so it won’t even compile with 9.0.0. I’m not sure that’s the right battle to fight either.
I’d appreciate any pointers and suggestions, and of course source code would be fantastic!