FreeRTOS / FreeRTOS-Kernel

FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
https://www.FreeRTOS.org
MIT License
2.71k stars 1.11k forks source link

[BUG] GCC_ARM_CM4_MPU assumes FPU #955

Closed IsaacDynamo closed 8 months ago

IsaacDynamo commented 8 months ago

Building GCC_ARM_CM4_MPU with arm-none-eabi-gcc fails with Error: selected FPU does not support instruction.

Expected behavior Given that the F in GCC_ARM_CM4F means with FPU, I expected GCC_ARM_CM4_MPU to not need a FPU.

But it seems that the GCC_ARM_CM4_MPU port expects to have an FPU. So is this a naming inconsistency? And should the port be renamed to GCC_ARM_CM4F_MPU?

jasonpcarroll commented 8 months ago

Hi @IsaacDynamo,

Thanks for bringing this discrepancy to our attention. I will notify the team and see what they think.

Best,

Jason Carroll

jasonpcarroll commented 8 months ago

Hi @IsaacDynamo,

While I agree that the F in the name represents the use of the FPU, at this point, its probably not worth renaming and causing someone's build to fail or break links. I will close this issue.

Best,

Jason Carroll