> But later comparisons of OpenOCD runs of my simple test code with J-Link and ST-link GDB servers suggested that J-link and ST-link GDB servers keep interrupts masked. > Your last test shows it's not as easy as that, they implement some fiddling > with C_MASKINTS. Perhaps they unmask interrupts only if the core sleeps after > WFI instruction.
Is it possible to collect any sort of verbose/diagnostic logging with either or both of these two GDB servers and then compare to an `openocd -d3` verbose log to see if anything useful can be gleaned? Unfortunately, I don't have any relevant hardware to try this myself.
