diff --git a/src/satman/src/main.rs b/src/satman/src/main.rs
index a6baf5c3..1bd6db34 100644
--- a/src/satman/src/main.rs
+++ b/src/satman/src/main.rs
@@ -1263,7 +1263,8 @@ fn process_aux_packet(
             drtioaux::send(0, &drtioaux::Packet::CoreMgmtReply { succeeded: true })?;
             info!("reboot imminent");
             slcr::reboot();
-            Ok(())
+
+            unreachable!();
         }
         drtioaux::Packet::CoreMgmtAllocatorDebugRequest {
             destination: _destination,