How to efficiently save and restore the 32F407 FPU context
STM should really post their code to handle FPU context saving and restoring BECAUSE their clients have been asking for over a decade!!!
One user stated "the time for a full FPU state save/restore is quite long. A pair of vpush {s0-31}/vpop {s0-s31} takes around 400ns on my STM32F407 @ 168MHz."
Without this our code suffers floats sticking at nan0x400 status after IRQs.
So, STM staff, come on, show us the best routine you have to save and restore the FPU status, because the Lazy FPU feature is useless!!
