Our Badge's MCPU is the Rigado BMD-340.
We use the open source GNU ARM toolchain to build code for the badge, along with openocd for programming and debugging.
You can grab the ARM Toolchain for your platform from their page and you will also need a suitable ARM JTAG/SWD programmer such as the Olimex ARM-USB-OCD-H, plus the latest SD Card (see below) from us.
GNU ARM Toolchain
https://launchpad.net/gcc-arm-embedded
Connecting
We connect the Olimex to our badges using a few different parts, typically:
Olimex ARM-USB-OCH-H JTAG debugger ($50):
https://www.mouser.com/ProductDetail/Olimex-Ltd/ARM-USB-OCD-H?qs=sGAEpiMZZMsyM1rGGtQxrPs5MI0OzeRu
Olimex JTAG to SWD (Serial Wire Debug) adapter ($5):
https://www.mouser.com/ProductDetail/Olimex-Ltd/ARM-JTAG-SWD?qs=%2fha2pyFadujucrG6knRKJnZuw%252bXPHdlKYy6frFAe4mzH%2fe4X3Xl2Gg%3d%3d
Embedded Artists 20 pin to 10 pin adapter ($15):
https://www.embeddedartists.com/products/10-pin-to-20-pin-jtag-adapter/
Another option is to avoid the 20 pin to ten pin adapter entirely and buy this from mouser. It plugs into the Olimex, you plug the 10 pin 1.27mm cable into the badge.
https://www.mouser.com/ProductDetail/Olimex-Ltd/ARM-JTAG-20-10?qs=sGAEpiMZZMu3sxpa5v1qruKJnqf7E2bHKCQxSxTTkuc%3D
The ARM-USB-OCD-H, ARM-JTAG-SWD and ARM-JTAG-20-10 can be purchased directly from Olimex's website (olimex.com) or from Mouser Electronics.You should be able to find all 3 products on Mouser's web site at the following link:
https://www.mouser.com/Search/Refine?Keyword=Olimex+ARM-USB-OCD-H
Debugging
Bill has a very nice writeup on how to debug the badge with both the Olimex and the ST-Link hardware JTAG/SWD devices.
Firmware
Head over to our firmware page to get the latest firmware for your badge!