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

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

diff --git a/bertos/kern/msg_test.c b/bertos/kern/msg_test.c
index d7e8c7d846c76ed2e8f8dbd826145e5766e97e21..7cc65b03022cb34dcc04f8f5a966543e1cea5954 100644 (file)
--- a/bertos/kern/msg_test.c
+++ b/bertos/kern/msg_test.c
@@ -35,6 +35,13 @@
  * \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>