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