Add enable/disable_console_redirect functions to sequencer (#2433)

Closes #2279 (you'll be able to hit a well-defined `hiffy` interfrace)

Author: mkeeter

drv/cosmo-seq-server/src/main.rs

@@ -1112,6 +1112,28 @@ impl idl::InOrderSequencerImpl for ServerImpl {
     ) -> Result<u32, RequestError<core::convert::Infallible>> {
         Ok(self.debug.sp5_dbg2_toggle_timer.cnts())
     }
+
+    fn enable_console_redirect(
+        &mut self,
+        _: &RecvMessage,
+    ) -> Result<(), RequestError<core::convert::Infallible>> {
+        self.debug.uart_control.modify(|b| {
+            b.set_sp5_to_header(true);
+            b.set_use_debug_header(true);
+        });
+        Ok(())
+    }
+
+    fn disable_console_redirect(
+        &mut self,
+        _: &RecvMessage,
+    ) -> Result<(), RequestError<core::convert::Infallible>> {
+        self.debug.uart_control.modify(|b| {
+            b.set_sp5_to_header(false);
+            b.set_use_debug_header(false);
+        });
+        Ok(())
+    }
 }
 
 impl NotificationHandler for ServerImpl {

drv/gimlet-seq-server/src/main.rs

@@ -1289,6 +1289,24 @@ impl<S: SpiServer> idl::InOrderSequencerImpl for ServerImpl<S> {
             .unwrap_lite();
         Ok(out.get())
     }
+
+    fn enable_console_redirect(
+        &mut self,
+        _: &RecvMessage,
+    ) -> Result<(), RequestError<core::convert::Infallible>> {
+        Err(RequestError::Fail(
+            idol_runtime::ClientError::BadMessageContents,
+        ))
+    }
+
+    fn disable_console_redirect(
+        &mut self,
+        _: &RecvMessage,
+    ) -> Result<(), RequestError<core::convert::Infallible>> {
+        Err(RequestError::Fail(
+            idol_runtime::ClientError::BadMessageContents,
+        ))
+    }
 }
 
 fn read_spd_data_and_load_packrat(

drv/grapefruit-seq-server/src/main.rs

@@ -233,6 +233,24 @@ impl idl::InOrderSequencerImpl for ServerImpl {
             idol_runtime::ClientError::BadMessageContents,
         ))
     }
+
+    fn enable_console_redirect(
+        &mut self,
+        _: &RecvMessage,
+    ) -> Result<(), RequestError<core::convert::Infallible>> {
+        Err(RequestError::Fail(
+            idol_runtime::ClientError::BadMessageContents,
+        ))
+    }
+
+    fn disable_console_redirect(
+        &mut self,
+        _: &RecvMessage,
+    ) -> Result<(), RequestError<core::convert::Infallible>> {
+        Err(RequestError::Fail(
+            idol_runtime::ClientError::BadMessageContents,
+        ))
+    }
 }
 
 impl NotificationHandler for ServerImpl {

drv/mock-gimlet-seq-server/src/main.rs

@@ -145,6 +145,20 @@ impl idl::InOrderSequencerImpl for ServerImpl {
     ) -> Result<u32, RequestError<core::convert::Infallible>> {
         Ok(0)
     }
+
+    fn enable_console_redirect(
+        &mut self,
+        _: &RecvMessage,
+    ) -> Result<(), RequestError<core::convert::Infallible>> {
+        Ok(())
+    }
+
+    fn disable_console_redirect(
+        &mut self,
+        _: &RecvMessage,
+    ) -> Result<(), RequestError<core::convert::Infallible>> {
+        Ok(())
+    }
 }
 
 impl NotificationHandler for ServerImpl {

idl/cpu-seq.idol

@@ -83,16 +83,26 @@ Interface(
             idempotent: true,
         ),
         "gpio_edge_count": (
-            doc: "Read the GPIO edge count from the sequencer FPGA (Gimlet only)",
+            doc: "Read the GPIO edge count from the sequencer FPGA",
             args: {},
             reply: Simple("u32"),
             idempotent: true,
         ),
         "gpio_cycle_count": (
-            doc: "Read the GPIO cycle count from the sequencer FPGA (Gimlet only)",
+            doc: "Read the GPIO cycle count from the sequencer FPGA",
             args: {},
             reply: Simple("u32"),
             idempotent: true,
         ),
+        "enable_console_redirect": (
+            doc: "Sends the host console to UART breakout pins instead of the FPGA (Cosmo only)",
+            reply: Simple("()"),
+            idempotent: true,
+        ),
+        "disable_console_redirect": (
+            doc: "Sends the host console to the FPGA instead of UART breakout pins (Cosmo only)",
+            reply: Simple("()"),
+            idempotent: true,
+        ),
     },
 )