void-packages/srcpkgs/rpi-kernel
Juan RP 3d5960f8e4 kernel-rpi: renamed to rpi-kernel to follow platform naming rules. 2014-01-23 12:55:39 +01:00
..
files
template