Markus Kowalewski 68ec5811d1 device-tree_rpi: update meta data		2020-06-30 20:58:30 +02:00
..
default.nix	…
raspberrypi.nix	…