On Sun, 2026-02-08 at 18:22 -0800, John Hubbard wrote: > > > Looks like you accidentally deleted the "if mbox0 != 0" test. > > > > > > > OK, I've added it back in for the next version: > > ... > > ah, *correction*, I spoke too quickly. The reason I removed any > such checks at some point is that they are wrong. This mailbox > contains the libos address after boot, not an error code. > > Open RM also does not check.
Hmmm.... I guess I'm reading the code wrong, but my understanding is that if mbox0 still contains the libos address, then it means that the firmware didn't boot at all. I will double-check.
