FPU support for FreeRTOS for GHS/RH850

Kernel
1

Hey,

I’m using FreeRTOS V10.3.1 port for GHS/RH850 (F1KM). However, after checking the portasm.s, I’ve realized that this port doesn’t support FPU (If I understand correctly). So, my question is that, is there a port that already supports FPU? If not, how can I add support for FPU?

Link:

    https://github.com/mikisama/FreeRTOS_RH850/blob/master/freertos/portable/GHS/RH850/portasm.s

Thank you in advance

2

This port is not maintained by us. I’d recommend to ask the maintainers by opening a GitHub issue on the repo: GitHub - mikisama/FreeRTOS_RH850: FreeRTOS port for Renesas RH850.