Update to new kernel config; use cpu_relax().

[bertos.git] / bertos / drv / timer_test.c

diff --git a/bertos/drv/timer_test.c b/bertos/drv/timer_test.c
index a7839f41ebac382d957914324cec75a38d963189..5599a81bb4067b37c386a782ddb58b012b5a3dfa 100644 (file)
--- 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>
@@ -154,14 +166,5 @@ int timer_testTearDown(void)
        return 0;
 }
 
-#if UNIT_TEST
-       #include <drv/timer.c>
-       #include <drv/kdebug.c>
-       #include <mware/event.c>
-       #include <mware/formatwr.c>
-       #include <mware/hex.c>
-       #include <os/hptime.c>
-
-       TEST_MAIN(timer);
-#endif
+TEST_MAIN(timer);