> On 16 Jul 2023, at 21:37, Tomas Vanek <tom_...@users.sourceforge.net> wrote:
> 
> The counter has a good reason: it's an easy way to check if PendSV_Handler() 
> is really called
> and the debugger does not mask interrupts.

I see. In my test I did not check the value of this counter, I assumed that if 
the debugger halted at the start of the handler, resuming execution also 
incremented the counter.

If someone thinks that this detail is relevant for the bug report, I can rerun 
the test and check the counter.


Liviu


Reply via email to