From 4149748766eccc3166877cd334d8bf4ab744e90f Mon Sep 17 00:00:00 2001
From: Bananymous <oskari.alaranta@bananymous.com>
Date: Sun, 1 Dec 2024 21:32:34 +0200
Subject: [PATCH] Kernel: Add missing include in ACPI headers

---
 kernel/include/kernel/ACPI/Headers.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/include/kernel/ACPI/Headers.h b/kernel/include/kernel/ACPI/Headers.h
index cf05cbb9..5970297e 100644
--- a/kernel/include/kernel/ACPI/Headers.h
+++ b/kernel/include/kernel/ACPI/Headers.h
@@ -1,6 +1,6 @@
 #pragma once
 
-#include <stdint.h>
+#include <BAN/Optional.h>
 
 namespace Kernel::ACPI
 {