Everywhere I look around I see K63F's Cortex M4 has an FPU. But there are two very disturbing facts:
1. KSDK uses this flag to compile itself for K63F:
This makes gcc generate software-floating point instructions, e.g. emulates the FPU (at a huge size and speed penalty).
2. If I use these compile options to utilize the FPU, the generated code simply doesn't run (I don't even see a single line of text on my serial console, but haven't gone deeper into the details):
These are about to turn on FPU usage.
It's very suspicious to me that the information sources are wrong, and K63F in fact doesn't have an FPU.
I need some confirmation.
(However, I've checked the KSDK build flags for K64F too, and it includes -mfloat-abi=hard and -mfpu=fpv4-sp-d16, so it should have a working FPU.)