From 8b0953d8cdbf676cf100bcb0f77a0c82755b53ae Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Tue, 19 Sep 2023 15:38:34 +0200
Subject: kernel: use HPET timer for sleeps

not strictly necessary, but this should improve:
1. sleep performance
2. power efficiency when idle
---
 src/kernel/arch/amd64/boot.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/kernel/arch/amd64/boot.h')

diff --git a/src/kernel/arch/amd64/boot.h b/src/kernel/arch/amd64/boot.h
index fac4ab6..0a867a8 100644
--- a/src/kernel/arch/amd64/boot.h
+++ b/src/kernel/arch/amd64/boot.h
@@ -17,7 +17,6 @@ enum gdt_segs {
 void kmain_early(void *mbi);
 void gdt_init(void);
 void idt_init(void);
-void timer_init(void);
 
 /* used from asm */
 extern struct lgdt_arg lgdt_arg;
-- 
cgit v1.2.3