Hi,

As you said CONFIG_TFM_FP is used for GCC as FP is only supported for GCC for now.

But what is the purpose of TFM_SYSTEM_FP variable then?

Regards,

Bohdan Hunko

Cypress Semiconductor Ukraine

Engineer

CSUKR CSS ICW SW FW

Mobile: +38099 50 19 714
Bohdan.Hunko@infineon.com

From: Xinyu Zhang <Xinyu.Zhang@arm.com>
Sent: Monday, 30 May 2022 08:50
To: Hunko Bohdan (CSUKR CSS ICW SW FW) <Bohdan.Hunko@infineon.com>; tf-m@lists.trustedfirmware.org
Cc: nd <nd@arm.com>
Subject: RE: Usage of TFM_SYSTEM_FP cmake variable

Caution: This e-mail originated outside Infineon Technologies. Do not click on links or open attachments unless you validate it is safe.

Hi Bohdan,

Currently FP is only supported by GCC toolchain. Detailed docs is available here: https://tf-m-user-guide.trustedfirmware.org/integration_guide/tfm_fpu_support.html

BTW, patches are welcome if you have any ideas or interests. 😉

Thanks,

Xinyu

From: Bohdan.Hunko--- via TF-M <tf-m@lists.trustedfirmware.org>
Sent: Thursday, May 26, 2022 9:42 PM
To: tf-m@lists.trustedfirmware.org
Subject: [TF-M] Usage of TFM_SYSTEM_FP cmake variable

Hi everyone,

I have noticed that GCC toolchain uses CONFIG_TFM_FP to determine FP setting while IAR and Clang use TFM_SYSTEM_FP cmake variable. I was not able to find any docs on this variable, and also there is no assignment of this variable in TFM source code (only read operation from this variable).

Is this intendent behavior?

Regards,

Bohdan Hunko

Cypress Semiconductor Ukraine

Engineer

CSUKR CSS ICW SW FW

Mobile: +38099 50 19 714
Bohdan.Hunko@infineon.com