T119: implement syscall and monitor interface to debug_print_capabilities

[barrelfish] / if / monitor.if

diff --git a/if/monitor.if b/if/monitor.if
index 23af894..8e37190 100644 (file)
--- a/if/monitor.if
+++ b/if/monitor.if
@@ -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();
 };