SOURCES: kernel-desktop-preempt-common.config (NEW), kernel-deskto...

[sparky]

Author: sparky                       Date: Mon May  1 16:23:32 2006 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
- configs for preemptrt patched kernel

---- Files affected:
SOURCES:
   kernel-desktop-preempt-common.config (NONE -> 1.1)  (NEW), kernel-desktop-preempt-nopreempt.config (NONE -> 1.1)  (NEW), kernel-desktop-preempt-rt.config (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SOURCES/kernel-desktop-preempt-common.config
diff -u /dev/null SOURCES/kernel-desktop-preempt-common.config:1.1
--- /dev/null	Mon May  1 18:23:32 2006
+++ SOURCES/kernel-desktop-preempt-common.config	Mon May  1 18:23:27 2006
@@ -0,0 +1,16 @@
+CONFIG_GENERIC_TIME=y
+CONFIG_GENERIC_TIME_VSYSCALL=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_PARANOID_GENERIC_TIME 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_USE_FRAME_POINTER is not set
+CONFIG_PLIST=y

================================================================
Index: SOURCES/kernel-desktop-preempt-nopreempt.config
diff -u /dev/null SOURCES/kernel-desktop-preempt-nopreempt.config:1.1
--- /dev/null	Mon May  1 18:23:32 2006
+++ SOURCES/kernel-desktop-preempt-nopreempt.config	Mon May  1 18:23:27 2006
@@ -0,0 +1,9 @@
+CONFIG_PREEMPT_NONE=y
+# CONFIG_PREEMPT_VOLUNTARY is not set
+# CONFIG_PREEMPT_DESKTOP is not set
+# CONFIG_PREEMPT_RT is not set
+# CONFIG_PREEMPT_SOFTIRQS is not set
+# CONFIG_PREEMPT_HARDIRQS is not set
+# CONFIG_PREEMPT_BKL is not set
+CONFIG_CLASSIC_RCU=y
+# CONFIG_PREEMPT_RCU is not set

================================================================
Index: SOURCES/kernel-desktop-preempt-rt.config
diff -u /dev/null SOURCES/kernel-desktop-preempt-rt.config:1.1
--- /dev/null	Mon May  1 18:23:32 2006
+++ SOURCES/kernel-desktop-preempt-rt.config	Mon May  1 18:23:27 2006
@@ -0,0 +1,14 @@
+CONFIG_LOCK_KERNEL=y
+# CONFIG_PREEMPT_NONE is not set
+# CONFIG_PREEMPT_VOLUNTARY is not set
+# CONFIG_PREEMPT_DESKTOP is not set
+CONFIG_PREEMPT_RT=y
+CONFIG_PREEMPT=y
+CONFIG_PREEMPT_SOFTIRQS=y
+CONFIG_PREEMPT_HARDIRQS=y
+CONFIG_PREEMPT_BKL=y
+# CONFIG_CLASSIC_RCU is not set
+CONFIG_PREEMPT_RCU=y
+# CONFIG_RCU_STATS is not set
+# CONFIG_DEBUG_PREEMPT is not set
+# CONFIG_CRITICAL_PREEMPT_TIMING is not set
================================================================