void-packages/srcpkgs/kernel/files
Juan RP 691dca2c88 kernel: enable CONFIG_{SCHED,TIMER}_STATS by default. 2012-04-04 12:43:02 +02:00
..
i386-dotconfig kernel: enable CONFIG_{SCHED,TIMER}_STATS by default. 2012-04-04 12:43:02 +02:00
x86_64-dotconfig kernel: enable CONFIG_{SCHED,TIMER}_STATS by default. 2012-04-04 12:43:02 +02:00