nixpkgs/pkgs/os-specific/linux/device-tree
2020-06-30 20:58:30 +02:00
..
default.nix
raspberrypi.nix device-tree_rpi: update meta data 2020-06-30 20:58:30 +02:00