T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / if / monitor.if
index 23af894..8e37190 100644 (file)
@@ -199,4 +199,7 @@ interface monitor "The monitor to client Interface" {
     response bfscope_flush_ack();
 
     message migrate_dispatcher(uintptr domain_id);
+
+    // Capability debugging
+    message debug_print_capabilities();
 };