diff -r 31dc4ec8710c -r 7802a7d5584f examples/Makefile.in
--- a/examples/Makefile.in	Tue Feb 12 09:42:56 2008 +0100
+++ b/examples/Makefile.in	Tue Feb 12 09:44:55 2008 +0100
@@ -22,6 +22,7 @@
 # 
 
 TARGET = SUB_TARGET
+TIMERS = SUB_TIMERS_DRIVER
 WX = SUB_WX
 ENABLE_LSS = SUB_ENABLE_LSS
 
@@ -62,6 +63,12 @@
 endef
 endif
 
+ifeq ($(TIMERS),timers_kernel)
+define build_command_seq
+	$(MAKE) -C kerneltest $@
+endef
+endif
+
 
 all:
 	$(build_command_seq)