On Tue, 2025-09-30 at 23:16 +1000, Alistair Popple wrote: > + let (mbox0, mbox1) = gsp_falcon.boot( > + bar, > + Some(libos_handle as u32), > + Some((libos_handle >> 32) as u32), > + )?;
The only time .boot() is called with None for mbox1 is with fwsec, and I'm pretty sure it doesn't matter if we set mbox1 to 0 in that call. So I suggest that we change boot() to take two u32s instead of two Option<u32> for the mbox registers. It's just unnecessary complication.
