Do you have an example of FRDM-K64F Context switching MSP & PSP?
I tested it code not run, you can test.
stm32f4 - scheduler and stack - Electrical Engineering Stack Exchange
You can study the FreeRTOS file /source/portable/GCC/ARM_MC4F/port.c to get some examples of such context switching.
uTasker developer and supporter (+5'000 hours experience on +60 Kinetis derivatives in +80 product developments)Kinetis: http://www.utasker.com/kinetis.html
Please make reference the MQX RTCS code, where in boot.s, the active stack pointer is set to PSP (set bit 1 of the CONTROL register). Then no need do any manipulation of this bit. Cortex m4 itself automatically switches the active stack pointer to MSP in handler mode and switches back to PSP with exception return.
Here is the stack pointer switch code at <boot.s>
Thank you Carlos, Fang and Mark,
Your suggestions helped a lot. I implemented the code suggested by Carlos and I found that the priority for the PendSV call is set differently for the K64. I used the following:
NVIC_SetPriority(PendSV_IRQn, 0xF); // Set PendSV to lowest possible priority
It works great!
Retrieving data ...