diff -r b71655eca5e2 -r 40efa79d27dd drivers/timers_kernel/timers_kernel.c
--- a/drivers/timers_kernel/timers_kernel.c	Tue May 27 17:43:33 2008 +0200
+++ b/drivers/timers_kernel/timers_kernel.c	Mon Jun 02 08:52:06 2008 +0200
@@ -36,6 +36,15 @@
 	last_occured_alarm,
 	last_alarm_set;
 
+void TimerInit(void)
+{
+	/* only used in realtime apps */
+}
+
+void TimerCleanup(void)
+{
+	/* only used in realtime apps */
+}
 
 void EnterMutex(void)
 {
@@ -71,10 +80,11 @@
 	LeaveMutex();
 }
 
-void StopTimerLoop(void)
+void StopTimerLoop(TimerCallback_t exitfunction)
 {
 	EnterMutex();
 	del_timer (&timer);
+	exitfunction(NULL,0);
 	LeaveMutex();
 }
 
@@ -99,7 +109,7 @@
 	*Thread = kthread_run(ReceiveLoopPtr, port, "canReceiveLoop");
 }
 
-void WaitReceiveTaskEnd(TASK_HANDLE Thread)
+void WaitReceiveTaskEnd(TASK_HANDLE *Thread)
 {
-	force_sig (SIGTERM, Thread);
+	force_sig (SIGTERM, *Thread);
 }