Update to new kernel config: kernel if OFF by default now.
authorbatt <batt@38d2e660-2303-0410-9eaa-f027e97ec537>
Wed, 25 Mar 2009 16:05:30 +0000 (16:05 +0000)
committerbatt <batt@38d2e660-2303-0410-9eaa-f027e97ec537>
Wed, 25 Mar 2009 16:05:30 +0000 (16:05 +0000)
git-svn-id: https://src.develer.com/svnoss/bertos/trunk@2421 38d2e660-2303-0410-9eaa-f027e97ec537

bertos/drv/timer_test.c
bertos/kern/proc_test.c
bertos/kern/signal_test.c

index 5599a81bb4067b37c386a782ddb58b012b5a3dfa..19522768cbfe36fb68608cdadf16583d209bc866 100644 (file)
  * \version $Id$
  * \author Bernie Innocenti <bernie@codewiz.org>
  *
- * $test$: cp bertos/cfg/cfg_kern.h $cfgdir/
- * $test$: echo  "#undef CONFIG_KERN" >> $cfgdir/cfg_kern.h
- * $test$: echo "#define CONFIG_KERN 0" >> $cfgdir/cfg_kern.h
- * $test$: echo  "#undef CONFIG_KERN_SCHED" >> $cfgdir/cfg_kern.h
- * $test$: echo "#define CONFIG_KERN_SCHED 0" >> $cfgdir/cfg_kern.h
- * $test$: echo  "#undef CONFIG_KERN_SIGNALS" >> $cfgdir/cfg_kern.h
- * $test$: echo "#define CONFIG_KERN_SIGNALS 0" >> $cfgdir/cfg_kern.h
- * $test$: echo  "#undef CONFIG_KERN_SEMAPHORES" >> $cfgdir/cfg_kern.h
- * $test$: echo "#define CONFIG_KERN_SEMAPHORES 0" >> $cfgdir/cfg_kern.h
- * $test$: echo  "#undef CONFIG_KERN_MONITOR" >> $cfgdir/cfg_kern.h
- * $test$: echo "#define CONFIG_KERN_MONITOR 0" >> $cfgdir/cfg_kern.h
  */
 
 #include <cfg/test.h>
index dcb75f36923c4567fff0eaddf3c0c3ec956260ba..4bad9a24d1eef14cefbac249b01ad7a21a5a44ea 100644 (file)
  *
  * \version $Id$
  * \author Daniele Basile <asterix@develer.com>
+ *
+ * $test$: cp bertos/cfg/cfg_proc.h $cfgdir/
+ * $test$: echo  "#undef CONFIG_KERN" >> $cfgdir/cfg_proc.h
+ * $test$: echo "#define CONFIG_KERN 1" >> $cfgdir/cfg_proc.h
+ * $test$: cp bertos/cfg/cfg_monitor.h $cfgdir/
+ * $test$: echo  "#undef CONFIG_KERN_MONITOR" >> $cfgdir/cfg_monitor.h
+ * $test$: echo "#define CONFIG_KERN_MONITOR 1" >> $cfgdir/cfg_monitor.h
+ * $test$: cp bertos/cfg/cfg_signal.h $cfgdir/
+ * $test$: echo  "#undef CONFIG_KERN_SIGNALS" >> $cfgdir/cfg_signal.h
+ * $test$: echo "#define CONFIG_KERN_SIGNALS 1" >> $cfgdir/cfg_signal.h
  */
 
 #include <kern/proc.h>
index ca63002b15c6c1ca4780a970a786f4c9bda6cfe2..b105cd8d4249f1ec474be9aba6a4bf1031dfef07 100644 (file)
  * \version $Id$
  *
  * \author Daniele Basile <asterix@develer.com>
+ *
+ * $test$: cp bertos/cfg/cfg_proc.h $cfgdir/
+ * $test$: echo  "#undef CONFIG_KERN" >> $cfgdir/cfg_proc.h
+ * $test$: echo "#define CONFIG_KERN 1" >> $cfgdir/cfg_proc.h
+ * $test$: cp bertos/cfg/cfg_signal.h $cfgdir/
+ * $test$: echo  "#undef CONFIG_KERN_SIGNALS" >> $cfgdir/cfg_signal.h
+ * $test$: echo "#define CONFIG_KERN_SIGNALS 1" >> $cfgdir/cfg_signal.h
  */
 
 #include <cfg/cfg_timer.h>