[BUG] RP2040 SMP configurations broken

[linguini1]

Description / Steps to reproduce the issue

I am unable to boot into NSH using the SMP configuration on RP2040 devices. Testing was primarily done on a Raspberry Pi Pico W.

Steps to reproduce:

1. Checkout to almost latest master branch (abcbb1e).
2. ./tools/configure.sh -l raspberrypi-pico-w:smp
3. make -j
4. Upload resulting UF2 to Pico W.
5. No shell appears on UART0.

I have reverted back to 9d1e7a0 and that version of NuttX has a working SMP configuration. I plan to continue bisecting.

On which OS does this issue occur?

[OS: Linux]

What is the version of your OS?

Linux 6.12.10-arch1-1 #1 SMP PREEMPT_DYNAMIC x86_64 GNU/Linux

NuttX Version

master

Issue Architecture

[Arch: arm]

Issue Area

[Area: Kernel]

Host information

No response

Verification

• I have verified before submitting the report.

[xiaoxiang781216]

@hujun260 look at this problem.

[linguini1]

bisect.txt

The bad commit can be found here: b69111d
Which is from PR #14578

[xiaoxiang781216]

do you try with this patch: #15728? @linguini1

[linguini1]

do you try with this patch: #15728? @linguini1

No I haven't, the master branch I was testing with is 8 days old and this is from 5 days ago. Thank you for pointing this out, I will try with this patch included tomorrow morning (EST timezone)

[xiaoxiang781216]

Thanks, let's wait your verification.

[hujun260]

I tested with the latest code and found no issues.

[linguini1]

Latest master branch resolves this issue.

[shtirlic]

Still broken for rp23xx (pico2) on master, reverting to at least to b49f428 fixes the SMP build
For me the first bad commit is 914ae53 @linguini1

[linguini1]

I unfortunately do not have an RP23xx to help test