Changeset dd0e909 in mainline

Timestamp:

2023-08-04T21:17:00Z (19 months ago)

Author:

Vojtech Horky <vojtech.horky@…>

Branches:

ticket/834-toolchain-update

Children:

315d487

Parents:

3785b39

Message:

arm32: kernel does not care about FPU

File:

• meson/arch/arm32/meson.build (modified) (1 diff)

meson/arch/arm32/meson.build

@@ -42 +42 @@
 ]
 
-if CONFIG_FPU
-        # This is necessary for kernel too, to allow vmsr insn and fpexc manipulation.
-        # Use vfp32 to allow context save/restore of d16-d31 regs.
-        # Need to use soft because our libgcc.a uses it too
-        arch_uspace_c_args += [ '-mfloat-abi=soft' ]
-endif
-
 arch_kernel_c_args = arch_uspace_c_args + [ '-mno-unaligned-access', '-mfpu=vfpv3' ]
 arch_kernel_c_args += cc.get_supported_arguments(['-mgeneral-regs-only' ])
 arch_kernel_link_args = [ '-nostdlib', '-Wl,-z,max-page-size=0x1000' ]
+
+if CONFIG_FPU
+    # Need to use soft because our libgcc.a uses it too
+    arch_uspace_c_args += [ '-mfloat-abi=soft' ]
+endif
 arch_uspace_link_args = [ '-nostdlib', '-lgcc', '-Wl,-z,max-page-size=0x1000' ]