nixpkgs/pkgs/development/embedded
..
arduino
avrdude
blackmagic
bossa
cc-tool
easypdkprog
elf2uf2-rs
fpga
gputils
jtag-remote-server
nmrpflash
openocd
orbuculum
platformio
pyocd
rshell
stm8/stm8flash
stm32
svdtools
teensy-loader-cli
tytools
uisp
xc3sprog