On Thu, 2026-02-05 at 20:21 -0800, John Hubbard wrote:
> + // Reset and boot GSP before SEC2
> + gsp_falcon.reset(bar)?;
> + let libos_handle = libos.dma_handle();
> + let (mbox0, mbox1) = gsp_falcon.boot(
> + bar,
> + Some(libos_handle as u32),
> + Some((libos_handle >> 32) as u32),
> + )?;
> + dev_dbg!(dev, "GSP MBOX0: {:#x}, MBOX1: {:#x}\n", mbox0, mbox1);
> + dev_dbg!(
> + dev,
> + "Using SEC2 to load and run the booter_load firmware...\n"
> + );
> +
Looks like you accidentally deleted the "if mbox0 != 0" test.
