kern/amd64: Add initial HPET driver

Signed-off-by: Ian Moffett <ian@osmora.org>

1 files changed, 6 insertions, 0 deletions

diff --git a/src/sys/acpi/acpi_init.c b/src/sys/acpi/acpi_init.c
index bb98ff4..e931b36 100644
--- a/src/sys/acpi/acpi_init.c
+++ b/src/sys/acpi/acpi_init.c
@@ -32,6 +32,9 @@
 #include <sys/syslog.h>
 #include <acpi/acpi.h>
 #include <acpi/tables.h>
+#if defined(__x86_64__)
+#include <machine/hpet.h>
+#endif
 #include <vm/vm.h>
 
 static size_t root_sdt_len = 0;
@@ -83,5 +86,8 @@ acpi_early_init(void)
     }
 
     root_sdt_len = (root_sdt->hdr.length - sizeof(root_sdt->hdr)) / 4;
+#if defined(__x86_64__)
+    hpet_init();
+#endif
     return 0;
 }