void-packages/srcpkgs/rpi-kernel
Peter Bui 28ac4ff590 rpi-kernel: update to 4.14.73.
[ci skip]
2018-10-03 20:56:27 +02:00
..
template