bootstrap: update kernel name references

2026-05-30 10:18:00 +01:00
parent 08abe467ea
commit ccede45ec7
3 changed files with 10 additions and 10 deletions
@@ -3,7 +3,7 @@

 #include <fs/context.h>
 #include <fs/status.h>
-#include <mango/types.h>
+#include <magenta/types.h>
 #include <stddef.h>
 #include <stdint.h>