T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / kernel / syscall.c
index 9dde989..6a43c6b 100644 (file)
@@ -630,3 +630,11 @@ struct sysret sys_get_absolute_time(void)
         .value = kernel_now + kcb_current->kernel_off,
     };
 }
+
+struct sysret
+sys_debug_print_capabilities(void) {
+
+    caps_debug_print(&dcb_current->cspace);
+
+    return SYSRET(SYS_ERR_OK);
+}