/pkgs/os-specific/linux/firmware/raspberrypi/
../
default.nix
tools.nix