nixpkgs/pkgs/os-specific/linux/device-tree
Michael Bishop 70308c5c56
device-tree_rpi: fix platforms
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