diff --git a/apps/sel4test-driver/src/tests/timer.c b/apps/sel4test-driver/src/tests/timer.c
index 2d650eb7..18b1860a 100644
--- a/apps/sel4test-driver/src/tests/timer.c
+++ b/apps/sel4test-driver/src/tests/timer.c
@@ -33,7 +33,6 @@ static int test_callback(uintptr_t token)
 
 int test_timer(driver_env_t env)
 {
-    uint64_t time = 0;
     test_finished = false;
     timer_test_data_t test_data = { .goal_count = 3 };