[En-Nut-Discussion] Will the FPU from the STM32F4xx supported (context.c)?

[Michael Fischer]

Dear List,

please can someone check if the context.c from the cm3 tree is correct
in case of FPU support? Compared to the ChibiOS task switch it looks
that the FPU register s16-s31 will not saved/restored.

Best regards,
Michael