Matei Barbu

Thanks, @borneoa, I think your suggestion solved it.

I understand your remarks. Indeed I had no errors when using only the first three lines, but the others are needed to make the script backwards compatible with version 10 of openocd, which is still present on enough distributions. Is there anything left to do?

Sorry about that, here it is https://github.com/tock/tock/blob/master/boards/microbit_v2/openocd.cfg

Hello, I can finally reproduce the bug. It occurs when trying to flash the tock-bootloader on a microbit v2. git clone https://github.com/tock/tock cd tock/boards/microbit_v2/ make flash-bootloader ... openocd -f openocd.cfg -c "program /tmp/tock-bootloader.microbit_v2.vv1.1.1.bin; verify_image /tmp/tock-bootloader.microbit_v2.vv1.1.1.bin; reset; shutdown;" Open On-Chip Debugger 0.11.0-rc2 Licensed under GNU GPL v2 For bug reports, read http://openocd.org/doc/doxygen/bugs.html Error: flash bank name...

Hello, sorry for the long delay between my post and my replay. I have tried all week to reproduce the phenomenon and have failed. I remember that gdb showed that the program was at ??(), even after load. I got in touch with someone who also said that he experienced this behaviour from time to time. But what bothered me was that it seemed to pass without a restart... Simply running the same commands a couple of hours later seemed to work with no reboot worked. I am sorry I cannot attach any debug...

fail to debug a micro:bit v2 application