SEGGER recently announced J-Link support for the BBC micro:bit open development board. You can upgrade the firmware on the BBC micro:bit DAPLink to a J-Link OB. This firmware makes the BBC micro:bit’s on-board debug solution compatible with J-Link. Thus, you can use all J-Link features, including ultra-fast flash download and debugging speeds, the free GDBServer, and application development with an IDE.
J-Link is supported in all major IDEs: IAR EWARM, Keil MDK, Rowley Crossworks, SEGGER Embedded Studio, and other Eclipse/GDB-based options.