src/runtime/src/kernel/rtio.rs

@@ -10,8 +10,8 @@ pub extern fn get_destination_status(destination: i32) -> bool {
             core1_rx.recv()
         };
         return match reply {
-            Message::UpDestinationsReply(true) => true,
-            _ => false
+            Message::UpDestinationsReply(x) => x,
+            _ => panic!("received unexpected reply to UpDestinationsRequest: {:?}", reply)
         };
     }