capdl-loader-app: adapt to sel4muslcsys change

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jun 27, 2022 · 6496962 · 6496962
1 parent a9419ea
commit 6496962
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/capdl-loader-app/src/main.c b/capdl-loader-app/src/main.c
@@ -15,6 +15,7 @@
 #include <string.h>
 #include <stdint.h>
 #include <inttypes.h>
+#include <muslcsys/sys_morecore.h>
 #include <sel4platsupport/platsupport.h>
 #include <cpio/cpio.h>
 #include <simple-default/simple-default.h>
@@ -2113,8 +2114,9 @@ static char ALIGN(PAGE_SIZE_4K) debug_libc_morecore_area[PAGE_SIZE_4K];
 static void CONSTRUCTOR(MUSLCSYS_WITH_VSYSCALL_PRIORITY) init_bootinfo(void)
 {
     /* Init memory area for musl. */
-    morecore_area = debug_libc_morecore_area;
-    morecore_size = sizeof(debug_libc_morecore_area);
+    sel4muslcsys_setup_morecore_region(
+        debug_libc_morecore_area,
+        sizeof(debug_libc_morecore_area));
 
     /* Allow us to print via seL4_Debug_PutChar. */
     platsupport_serial_setup_bootinfo_failsafe();