void-packages/srcpkgs/kernel
Juan RP 691dca2c88 kernel: enable CONFIG_{SCHED,TIMER}_STATS by default. 2012-04-04 12:43:02 +02:00
..
files kernel: enable CONFIG_{SCHED,TIMER}_STATS by default. 2012-04-04 12:43:02 +02:00
patches kernel: update to 3.3.1. 2012-04-03 09:11:15 +02:00
kernel-headers.template
template kernel: enable CONFIG_{SCHED,TIMER}_STATS by default. 2012-04-04 12:43:02 +02:00