From 4c961e20744579a2ba8c4de7ad1e7ecb22702f09 Mon Sep 17 00:00:00 2001
From: Ian Moffett <ian@osmora.org>
Date: Mon, 17 Nov 2025 15:21:32 -0500
Subject: kern: dev: Add HPET timer driver

Signed-off-by: Ian Moffett <ian@osmora.org>
---
 sys/acpi/acpi.c | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'sys/acpi')

diff --git a/sys/acpi/acpi.c b/sys/acpi/acpi.c
index a521e12..f60435b 100644
--- a/sys/acpi/acpi.c
+++ b/sys/acpi/acpi.c
@@ -33,6 +33,7 @@
 #include <os/trace.h>
 #include <acpi/acpi.h>
 #include <acpi/tables.h>
+#include <dev/clkdev/hpet.h>
 #include <vm/vm.h>
 #include <lib/limine.h>
 #include <lib/string.h>
@@ -113,6 +114,8 @@ acpi_query(const char *s)
 void
 acpi_init(void)
 {
+    int error;
+
     rsdp_resp = rsdp_req.response;
     if (__unlikely(rsdp_resp == NULL)) {
         panic("acpi: could not obtain rsdp\n");
@@ -138,4 +141,10 @@ acpi_init(void)
     }
 
     dtrace("OK\n");
+    error = hpet_init();
+#if defined(__x86_64__)
+    if (error != 0) {
+        panic("acpi: require HPET on RV7/x86_64\n");
+    }
+#endif  /* __x86_64__ */
 }
-- 
cgit v1.2.3