kernel: T78: add notice about bug report on failure.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/kernel/cap_delete.c b/kernel/cap_delete.c
index 59a3cc7..56dfcf2 100644 (file)
--- a/kernel/cap_delete.c
+++ b/kernel/cap_delete.c
@@ -133,6 +133,10 @@ errval_t caps_delete_last(struct cte *cte, struct cte *ret_ram_cap)
         } else if (monitor_ep.u.endpoint.listener != NULL) {
             uintptr_t payload = dcb->domain_id;
             err = lmp_deliver_payload(&monitor_ep, NULL, &payload, 1, false);
+            if (err_is_fail(err)) {
+                printk(LOG_NOTE, "while notifying monitor about domain exit: %"PRIuERRV".\n", err);
+                printk(LOG_NOTE, "please add the console output to the following bug report: https://code.systems.ethz.ch/T78\n");
+            }
             assert(err_is_ok(err));
         }