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