void-packages/srcpkgs/kernel
Juan RP 1c1f0d9614 kernel: update to 3.6.1. 2012-10-08 09:57:56 +02:00
..
files kernel: update to 3.6.0. 2012-10-01 09:15:59 +02:00
patches
kernel-headers.template kernel: switch to /usr. 2012-07-09 20:06:40 +02:00
template kernel: update to 3.6.1. 2012-10-08 09:57:56 +02:00