1 files changed, 0 insertions, 17 deletions
diff --git a/include/kernel/timer.h b/include/kernel/timer.h
deleted file mode 100644
index 8b97bbe..0000000
--- a/include/kernel/timer.h
+++ /dev/null
@@ -1,17 +0,0 @@
-// SPDX-License-Identifier: GPL-2.0-or-later
-/*
- * Copyright (C) 2026 Richard QIn
- */
-
-#include "common/types.h"
-
-namespace Timer{
-    uint64 get_time();
-    void set_next_trigger();
-    void init();
-
-    void tick();
-    uint64 get_ticks();
-    Spinlock *get_lock();
-    void *get_tick_chan();
-}
-\ No newline at end of file