Hi David,
My MQX4.1.1 doesn't have FRDM-K22 supported in it so I am looking at twrk21f120m port.
But generically the boot.S in PSP has following:
#if MQXCFG_ENABLE_FP && PSP_HAS_FPU
/* CPACR is located at address 0xE000ED88 */
LDR.W R0, =0xE000ED88
/* Read CPACR */
LDR R1, [R0]
/* Set bits 20-23 to enable CP10 and CP11 coprocessors */
ORR R1, R1, #(0xF << 20)
/* Write back the modified value to the CPACR */
STR R1, [R0]
/* turn off fpu register stacking in exception entry */
ldr r0, =0xE000EF34 /* FPCCR */
mov r1, #0
str r1, [r0]
#endif
In PSP kinetis.h there is following:
#elif (MQX_CPU == PSP_CPU_MK21FN1M)
/* enable FPU for this platform */
#define PSP_HAS_FPU 1
/* enable flash swap for this platform */
#define PSP_HAS_FLASH_SWAP 1
Check to see if your port has or needs this entry for your frdm-k22 to set PSP_HAS_FPU set to 1. This then should "turn on" the code in the boot.S to turn on FPU.
Regards,
David