I'm trying to get semihosting to work on STM32F746G-DISCO. Current platform.ini configuration file is:
platform = ststm32
board = disco_f746ng
framework = stm32cube
build_flags = -DF7 --specs=rdimon.specs -lrdimon -nostartfiles
; Enable Arm Semihosting in debugger to show logs.
debug_extra_cmds =
monitor arm semihosting enable
set remotetimeout 100000
The initialization code is:
extern void initialise_monitor_handles(void);
initialise_monitor_handles();
printf("Hello World\n");
Can't get any output on the debug console