nixpkgs/pkgs/os-specific/linux/device-tree
Kai Wohlfahrt 766e0958b3 device-tree_rpi: fixup dtb names
This is just as messy as it is for the kernel files. Maybe it should be
done in the uboot boot-loader?
2019-08-07 13:51:22 +01:00
..
default.nix
raspberrypi.nix