void-packages/srcpkgs/rpi-kernel
Piraty a5a2de50e8 rpi-kernel: update to 4.19.56.
picked one patch from upstream to make it build for aarch64.

Fixes: #12665

[skip travis]
2019-07-03 14:15:36 +02:00
..
patches
template