I wrote a simple hello world program for the K82F that uses semihosting rather than UART:
#include <stdio.h> int main(void) { printf("Hello World\n"); while(1); return 1; }
If I build this program using the supporting files from KSDK_2.0 then running the program in GDB successfully prints Hello World to the terminal.
I can build the program using the MK82FN256xxx15_qspi.ld linker script but if I go through the same process of creating an .sb file and flashing it to the device as in the hello_world_qspi example project from KSDK_2.0 then it doesn't print anything when connecting to it with GDB.
Is semihosting supposed to work from QSPI?