Hi,
Some doubts about FPU32 in F28388:
1) Does F28388 support FPU32, when "processor options" FPU64 is set?
2) If supported, is this correct "typedef float float32_t" ?
3) If supported, what's the size of "float32_t", 32bit or 64bit?
Customer is using their own OS, which will save the variables into stack. 32bit or 64bit should be saved for "float32_t"?
My point of view, F28388 supports FPU32, and the size is 32bit.
Br, Jordan