nixpkgs-suyu/pkgs/os-specific/linux/firmware/raspberrypi
..
armstubs.nix
default.nix