/pkgs/os-specific/linux/device-tree/
../
default.nix
raspberrypi.nix