use freestanding headers

2026-09-25 17:34:29 +02:00
parent 6e92817f3f
commit 1dc41fe7ff
27 changed files with 25 additions and 66 deletions
@@ -13,7 +13,7 @@
 #include <zinnia/vma.h>
 #include <arch/sched.h>
 #include <stdint.h>
-#include <string.h>
+#include <zinnia/string.h>

 static void idle_func(uintptr_t) {
    while (1) {