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

…