nixpkgs/pkgs/development/embedded
..
arduino
avrdude
blackmagic
bossa
cc-tool
easypdkprog
elf2uf2-rs
fpga
gputils
openocd
platformio
rshell
stm32
teensy-loader-cli
tytools
uisp
xc3sprog