SOURCES: kernel-desktop-preempt-rt.config, kernel-desktop-preempt-...

sparky sparky at pld-linux.org
Fri Jun 23 22:01:41 CEST 2006


Author: sparky                       Date: Fri Jun 23 20:01:41 2006 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- preempt-common.config merged to preempt-rt.config

---- Files affected:
SOURCES:
   kernel-desktop-preempt-rt.config (1.2 -> 1.3) , kernel-desktop-preempt-common.config (1.2 -> NONE)  (REMOVED)

---- Diffs:

================================================================
Index: SOURCES/kernel-desktop-preempt-rt.config
diff -u SOURCES/kernel-desktop-preempt-rt.config:1.2 SOURCES/kernel-desktop-preempt-rt.config:1.3
--- SOURCES/kernel-desktop-preempt-rt.config:1.2	Tue Jun 13 00:59:10 2006
+++ SOURCES/kernel-desktop-preempt-rt.config	Fri Jun 23 22:01:36 2006
@@ -1,3 +1,16 @@
+CONFIG_GENERIC_TIME=y
+CONFIG_RT_MUTEXES=y
+CONFIG_HIGH_RES_TIMERS=y
+CONFIG_HIGH_RES_RESOLUTION=1000
+# CONFIG_RTC_HISTOGRAM is not set
+# CONFIG_BLOCKER is not set
+# CONFIG_LPPTEST is not set
+# CONFIG_PRINTK_IGNORE_LOGLEVEL is not set
+# CONFIG_DEBUG_RT_MUTEXES is not set
+# CONFIG_RT_MUTEX_TESTER is not set
+# CONFIG_WAKEUP_TIMING is not set
+# CONFIG_CRITICAL_IRQSOFF_TIMING is not set
+CONFIG_PLIST=y
 # CONFIG_PREEMPT_NONE is not set
 # CONFIG_PREEMPT_VOLUNTARY is not set
 # CONFIG_PREEMPT_DESKTOP is not set
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/SOURCES/kernel-desktop-preempt-rt.config?r1=1.2&r2=1.3&f=u



More information about the pld-cvs-commit mailing list