PlatformIO building errors when compiling port.c

Kernel
4

Then probably you are not passing flags to enable FPU. As mentioned in this post, you probably need to pass these flags - -mfpu=fpv4-sp-d16", "-mfloat-abi=hard.

Thanks.