call debug_capDL() on boot

axel-h · Jun 21, 2023 · 7eda6d3 · 7eda6d3
1 parent 36e2977
commit 7eda6d3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/kernel/boot.c b/src/kernel/boot.c
@@ -1086,6 +1086,7 @@ BOOT_CODE bool_t finalize_init_kernel()
      */
     NODE_LOCK_SYS;
     SMP_COND_STATEMENT(release_secondary_cores());
+    debug_capDL();
     printf("Booting all finished, dropped to user space\n");
     return run_kernel();
 }