From 1c0886c2aec8fb7cd451075b74d551a5abf6d11b Mon Sep 17 00:00:00 2001
From: Chris <c.sanden@outlook.com>
Date: Fri, 10 Apr 2026 14:13:44 +0000
Subject: [PATCH] fixed it again lol

---
 src/OSDev_18/src/kernel.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/OSDev_18/src/kernel.c b/src/OSDev_18/src/kernel.c
index 1d60858..8776044 100644
--- a/src/OSDev_18/src/kernel.c
+++ b/src/OSDev_18/src/kernel.c
@@ -1,4 +1,4 @@
-#include <stdint.h>
+#include <libc/stdint.h>
 
 void kernel_main(void) {
     for (;;) {