nixpkgs/pkgs/os-specific/linux/device-tree
2020-04-08 12:54:58 -03:00
..
default.nix
raspberrypi.nix device-tree_rpi: fix platforms 2020-04-08 12:54:58 -03:00