nixpkgs/pkgs/os-specific/linux/firmware/raspberrypi
2017-03-08 21:35:31 +02:00
..
default.nix raspberrypifw, linux_rpi: 1.20161020 -> 1.20170303 2017-03-08 21:35:31 +02:00