[kernel] r12048 - in dists/sid/linux-2.6/debian: . config/arm

[Aurelien Jarno]

Author: aurel32
Date: Tue Aug 12 15:39:59 2008
New Revision: 12048

Log:
  * [arm/armel] Disable CONFIG_NO_HZ, CONFIG_HIGH_RES_TIMERS for dynticks
    on the versatile flavour.



Modified:
   dists/sid/linux-2.6/debian/changelog
   dists/sid/linux-2.6/debian/config/arm/config.versatile

Modified: dists/sid/linux-2.6/debian/changelog
==============================================================================
--- dists/sid/linux-2.6/debian/changelog	(original)
+++ dists/sid/linux-2.6/debian/changelog	Tue Aug 12 15:39:59 2008
@@ -1,8 +1,13 @@
 linux-2.6 (2.6.26-3) UNRELEASED; urgency=low
 
+  [ Bastian Blank ]
   * Disable Emagic Audiowerk 2 soundcard support. The PCI IDs clashes with
     many DVB cards.
 
+  [ Aurelien Jarno ]
+  * [arm/armel] Disable CONFIG_NO_HZ, CONFIG_HIGH_RES_TIMERS for dynticks
+    on the versatile flavour.
+
  -- Bastian Blank <waldi at debian.org>  Sat, 09 Aug 2008 14:52:11 +0200
 
 linux-2.6 (2.6.26-2) unstable; urgency=low

Modified: dists/sid/linux-2.6/debian/config/arm/config.versatile
==============================================================================
--- dists/sid/linux-2.6/debian/config/arm/config.versatile	(original)
+++ dists/sid/linux-2.6/debian/config/arm/config.versatile	Tue Aug 12 15:39:59 2008
@@ -73,6 +73,13 @@
 # CONFIG_CPU_CACHE_ROUND_ROBIN is not set
 
 ##
+## Kernel Features
+##
+# CONFIG_TICK_ONESHOT is not set
+# CONFIG_NO_HZ is not set
+# CONFIG_HIGH_RES_TIMERS is not set
+
+##
 ## file: drivers/ata/Kconfig
 ##
 CONFIG_ATA=m