* $test$: echo "#define CONFIG_KERN_SIGNALS 1" >> $cfgdir/cfg_signal.h
*/
-#include <cfg/cfg_timer.h>
+#include "cfg/cfg_timer.h"
#include <cfg/debug.h>
#include <cfg/test.h>
#include <cfg/compiler.h>
TestMsg msg4;
TestMsg msg5;
TestMsg *reply;
- ticks_t start_time = timer_clock();
// Allocate and start the test process
struct Process *recv0 = RECV_INIT_PROC(0);