Hi, I am facing the same issue as @Haider_Ali.
I am using the hello_word example for the K32W061 board. I am using MCUXpresso IDE v11.9.0 [Build 2144] [2024-01-05] with SDK_2.x_K32W061DK [SDK Version 2.6.5 (555 2022-03-10) Manifest Version 3.5.0].
I am using Segger J-Link for debugging. The program debugs properly when I use Semihosting option but if I use UART, the debugging fails with the message "No source available for "StrFormatScanf() at 0x4dc".
Also, the `DEBUGCONSOLE_REDIRECT_TO_SDK` has value `1U`.