I’m trying to debug what is going on during a task switch in MBED RTOS. I can’t set a break point anywhere in the HAL_CM4.S file. What can I do to debug the task switch in the .S file?
Please double-check that the .S file is actually compiled with the -ggdb switch (so that gdb can get debugging information for it). If it does not help, please try repairing breakpoints via VisualGDB breakpoint repair button in the GDB Session window.