void-packages/srcpkgs/kernel
Juan RP 82cf8d6b8f kernel: update to 3.4.7. 2012-07-29 19:51:45 +02:00
..
files Revert "kernel: update to 3.5.0." 2012-07-25 15:07:24 +02:00
patches
kernel-headers.template kernel: switch to /usr. 2012-07-09 20:06:40 +02:00
template kernel: update to 3.4.7. 2012-07-29 19:51:45 +02:00