liblaunch: update kernel library references

2026-05-28 20:40:43 +01:00
parent a5d99ca248
commit ffd28db3de
7 changed files with 14 additions and 14 deletions
@@ -2,10 +2,10 @@
 #include "stack.h"

 #include <launch.h>
-#include <mango/handle.h>
-#include <mango/log.h>
-#include <mango/task.h>
-#include <mango/vm.h>
+#include <magenta/handle.h>
+#include <magenta/log.h>
+#include <magenta/task.h>
+#include <magenta/vm.h>
 #include <rosetta/bootstrap.h>
 #include <stdio.h>
 #include <string.h>