nixpkgs/pkgs/development/embedded
..
arduino
openocd