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 (;;) {