github.com/aykevl/tinygo@v0.5.0/targets/microbit.json (about)

     1  {
     2  	"inherits": ["nrf51"],
     3  	"build-tags": ["microbit"],
     4  	"flash": "openocd -f interface/cmsis-dap.cfg -f target/nrf51.cfg -c 'program {hex} reset exit'",
     5  	"ocd-daemon": ["openocd", "-f", "interface/cmsis-dap.cfg", "-f", "target/nrf51.cfg"],
     6  	"gdb-initial-cmds": ["target remote :3333", "monitor halt", "load", "monitor reset", "c"]
     7  }