void-packages/srcpkgs/kernel
Juan RP 0d1db196f4 kernel: update to 3.5.3. 2012-08-26 08:10:21 +02:00
..
files
patches
kernel-headers.template
template kernel: update to 3.5.3. 2012-08-26 08:10:21 +02:00