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