void-packages/srcpkgs/kernel-rpi
Juan RP d50ab258c6 kernel-rpi: update .config. 2013-07-12 09:14:22 +02:00
..
files kernel-rpi: update .config. 2013-07-12 09:14:22 +02:00
patches
template kernel-rpi: update to today's code (245f716a0b7 from rpi-3.6.y). 2013-07-12 09:04:37 +02:00