Hi Rafael,
[quote user="desouza"]
If you are using the Linaro GCC bundled with CCS, I wonder if the issue is because you are still linking the semihosting libraries. The options you need to change are shown in the Linaro's GCC <readme.txt> file, typically located at:
[/quote]
Thanks for your thoughts, but I can confirm I'm not linking in semihosting versions of any libraries (for example, if I manually skip into the SWI despatcher it is code I recognise as my own rather than library code).
Two extra observations I've made since reporting this, which might be relevant are
a) when the debugger does halt on the SWI vector the debug window says it's a "SW breakpoint", however the breakpoints window shows that no SW breakpoints are enabled, and I also turned off software breakpoints in the debugger setup.
b) when halted, if I modify the SWI vector contents in any way (eg. LDR pc, 0x1C0 to LDR pc, 0x1C4 then back to LDR pc, 0x1C0) everything then works fine.
So while option (b) does give me a way to proceed, it seems that the debugger is retaining a stale view of the vector contents and showing the live contents in the disassembler/memory views, and my workaround (b) is forcing the debugger to update its interception of the vectors in some way.
If there was a programmatical way to achieve (b) that'd be great. I don't think there are any coprocessor ops that I could spot to call, for example,
Robert.