Nice simple tutorial.

However, as far as I can tell, there’s no easy way to use the ```monitor``` gdb-commands from CMake?

Hence, using your suggested approach, it seems you need to restart the debug-session and JLink-server every time you want to restart the MCU. This can get rather tedious if you are debugging some sort of initialiser-code.

I am yet to find an IDE that handles GDB properly while at the same time provide adequate indexing and auto-completion. However CLion is still very promising and there seem to be rumours of better embedded platform support on the way.

I do look forward to recommending CLion once these things are resolved.