J-LinkのベンダーなSEGGERはIDEを提供、
non-commercialなら期限やらコードサイズに制限無しで使える
インストール後、適当なパッケージをインストール(Tools>Package manager...)
micro:bit用のサンプルプロジェクトが2つあるのでそれもDL
Moving LEDを解凍して、"File>Open Solution..."からMicrobit_MovingLED.emProjectを開く
"Target>Connect J-Link..."でJ-Link OB FW書き込み済のmicro:bitにつながる
"Target>Target Connection Properties..."を見ると
こんな感じ
左側のproject paneから右クリックでBuildするとサクッと終了
"Debug>Go..."するとmain.cの先頭で一時停止^^、期待通り
あとはレジスタの中を見たりしながらステップ動作の操作を確認
