diff --git a/src/satman/src/main.rs b/src/satman/src/main.rs
index bf8065b..7cfcb22 100644
--- a/src/satman/src/main.rs
+++ b/src/satman/src/main.rs
@@ -1262,7 +1262,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,