void-packages/srcpkgs/rpi-kernel
Peter Bui 2762dc4f51 rpi-kernel: update to 4.14.52.
[ci skip]
2018-07-10 09:54:59 +02:00
..
template