Floating Point support

Is there any floating point support in Trusty OS?
Thanks in advance

hello dkarnikis,

may I have more details about what’s the use-case and what’s your expectation.
thanks

Hello,

I have tried performing a simple print of an fp number (0.1f) and when I executed the code, the system crashed into reboot.
In my case i would like to perform simple fp operations.
(If I’m not mistaken, OPTEE had the same exactly behavior with fp numbers, so it might be a TZ limitation?)

thanks

hello dkarnikis,

could you please gather the failures for reference,
for example, you might enable $ dmesg --follow to gather all details.
thanks

As I mentioned before, as soon as the code tries to execute, the whole system crashes and then reboots
(the crash/reboot behavior occurs to any TA that fails, is this expected behavior? I know TA’s are embedded into the tos blob but aren’t TA’s supposed to run on user level privileges, thus not affecting the whole system?) .

thanks
dimitris

hello dkarnikis,

please share the error messages for more details.
thanks

Well, i managed to grab it before crashing.log.txt (4.4 KB)

hello dkarnikis,

the float number is supported, but you cannot print a floating number by printf() function .
you may refer L4T sources, to check “WITH_NO_FP” within below sources for more details.
for example,
$L4T_Sources/r32.4.3/Linux_for_Tegra/source/public/trusty/lk/common/arch/arm64/toolchain.mk
$L4T_Sources/r32.4.3/Linux_for_Tegra/source/public/trusty/lk/common/lib/libc/printf.c