Re: [PATCH] riscv: smp: fix non-SPINWAIT secondary hart rendezvous for fw_dynamic platforms

[Paul Walmsley]

On Wed, 29 Jul 2026, Paul Sherman wrote:

> On Wed, Jul 29, 2026 at 05:13:56PM -0500, Samuel Holland wrote:
> 
> > Why doesn't your firmware do that? Can you fix your firmware?
> 
> Is your expectation that platforms exhibiting this behavior should
> be corrected to satisfy the ordered booting contract, rather than
> Linux handling SBI_ERR_ALREADY_STARTED defensively?

For folks running mainline kernels, I think it's reasonable to expect that 
they would update OpenSBI to fix a bug in OpenSBI, rather than patching 
the upstream kernel to hack around it.  Hopefully there's nothing 
preventing them from doing that on this platform.


- Paul