On 05/02/25 16:56, Jon Hunter wrote: ... > Thanks! That did make it easier :-) > > Here is what I see ... Thanks! Still different from what I can repro over here, so, unfortunately, I had to add additional debug printks. Pushed to the same branch/repo. Could I ask for another run with it? Please also share the complete dmesg from boot, as I would need to check debug output when CPUs are first onlined. Best, Juri
