1 files changed, 0 insertions, 13 deletions
diff --git a/tools/iso/kernel.soso/timer.h b/tools/iso/kernel.soso/timer.h
deleted file mode 100644
index 613c5c15..00000000
--- a/tools/iso/kernel.soso/timer.h
+++ /dev/null
@@ -1,13 +0,0 @@
-#ifndef TIMER_H
-#define TIMER_H
-
-#include "common.h"
-
-void initializeTimer();
-uint32 getSystemTickCount();
-uint32 getUptimeSeconds();
-uint32 getUptimeMilliseconds();
-void enableScheduler();
-void disableScheduler();
-
-#endif