Question
Is .fpu incorrect in startup_stm32f411xe.s?
In startup_stm32f411xe.s, the FPU seems to be incorrectly declared. It is:
.fpu softvfp
Shouldn't it be:
.fpu fpv4-sp-d16
I checked other files in the same family and they also have the softvfp declaration.
