Hello Freescale support,
I compiled a project for K02F12810 with arm gcc and KSDK 1.3.0. Linking ksdk_platform_lib gave strange warnings:
/usr/bin/../lib/gcc/arm-none-eabi/4.9.3/../../../../arm-none-eabi/bin/ld: error: debug/test.elf uses VFP register arguments, ~/KSDK/lib/ksdk_platform_lib/armgcc/K02F12810/debug/libksdk_platform.a(fsl_clock_manager.c.obj) does not
/usr/bin/../lib/gcc/arm-none-eabi/4.9.3/../../../../arm-none-eabi/bin/ld: failed to merge target specific data of file ~/KSDK/lib/ksdk_platform_lib/armgcc/K02F12810/debug/libksdk_platform.a(fsl_clock_manager.c.obj)
Searching for a reason revealed that at least
lib/ksdk_platform_lib/armgcc/K02F12810/CMakeLists.txt
lib/ksdk_hal_lib/armgcc/K02F12810/CMakeLists.txt
lib/ksdk_startup_lib/armgcc/K02F12810/CMakeLists.txt
use gcc option -mcpu=cortex-m0plus which is obviously wrong for a K02F12810 with Cortex-M4 core.
KSDK 1.1.0 did not have this problem.
Please route the report to KSDK team.
Tomas