X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fdrv%2Ftimer_test.c;h=5599a81bb4067b37c386a782ddb58b012b5a3dfa;hb=19decd4a0bdfff674f1e4f5caea1e6b6844e5e48;hp=07e75a66bf703b71f4e68ce4cd0d84a1e709257a;hpb=747bcac9a31ecd296ee45ff28090dde5707fc264;p=bertos.git

diff --git a/bertos/drv/timer_test.c b/bertos/drv/timer_test.c
index 07e75a66..5599a81b 100644
--- a/bertos/drv/timer_test.c
+++ b/bertos/drv/timer_test.c
@@ -34,6 +34,18 @@
  *
  * \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>