nixpkgs-suyu/pkgs/tools/misc/xilinx-bootgen
..
default.nix