> With J-Link and ST-LINK GDB server, the counter does not go past 1, so it > looks like the debuggers indeed mask interrupts
Does OpenOCD with `cortex_m maskisr on` (or `auto`?) give the same results? I know that you tried it before but in a different test scenario so maybe it's worth trying again with the simplified test?
