Update to new kernel config: kernel if OFF by default now.

[bertos.git] / bertos / kern / sem_test.c

diff --git a/bertos/kern/sem_test.c b/bertos/kern/sem_test.c
index feb0be72ba6424a23b1c1f592aaf7afafda611d9..3340548c1d1e333bfe57bc28ec145b06cddd3982 100644 (file)
--- a/bertos/kern/sem_test.c
+++ b/bertos/kern/sem_test.c
@@ -36,6 +36,12 @@
  * \author Daniele Basile <asterix@develer.com>
  * \author Stefano Fedrigo <aleph@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_sem.h $cfgdir/
+ * $test$: echo  "#undef CONFIG_KERN_SEMAPHORES" >> $cfgdir/cfg_sem.h
+ * $test$: echo "#define CONFIG_KERN_SEMAPHORES 1" >> $cfgdir/cfg_sem.h
  */
 
 #include <cfg/debug.h>