monitor: fix log messages regarding passive PDs

Signed-off-by: Ivan Velickovic <[email protected]>

monitor/src/main.c

@@ -441,27 +441,28 @@ static void monitor(void)
 
         seL4_Word tcb_cap = tcbs[badge];
 
-        puts("received message ");
-        puthex32(label);
-        puts("  badge: ");
-        puthex64(badge);
-        puts("  tcb cap: ");
-        puthex64(tcb_cap);
-        puts("\n");
-
         if (label == seL4_Fault_NullFault && badge < MAX_PDS) {
             /* This is a request from our PD to become passive */
             err = seL4_SchedContext_UnbindObject(scheduling_contexts[badge], tcb_cap);
             err = seL4_SchedContext_Bind(scheduling_contexts[badge], notification_caps[badge]);
             if (err != seL4_NoError) {
-                puts("error binding scheduling context to notification");
+                puts("MON|ERROR: could not bind scheduling context to notification object");
             } else {
+                puts("MON|INFO: PD '");
                 puts(pd_names[badge]);
-                puts(" is now passive!\n");
+                puts("' is now passive!\n");
             }
             continue;
         }
 
+        puts("MON|ERROR: received message ");
+        puthex32(label);
+        puts("  badge: ");
+        puthex64(badge);
+        puts("  tcb cap: ");
+        puthex64(tcb_cap);
+        puts("\n");
+
         if (badge < MAX_PDS && pd_names[badge][0] != 0) {
             puts("faulting PD: ");
             puts(pd_names[badge]);