Software IRQs are missing

[pta2002]

According to the RP235x datasheet, there are 6 spare IRQs which can be used for software interrupts:

IRQ	Interrupt Source
46	SPAREIRQ_IRQ_0
47	SPAREIRQ_IRQ_1
48	SPAREIRQ_IRQ_2
49	SPAREIRQ_IRQ_3
50	SPAREIRQ_IRQ_4
51	SPAREIRQ_IRQ_5

However, these are not exported by this crate.

[pta2002]

Looking at the SVD file, it looks like these are missing from there too, so maybe this should be taken up in the Pico SDK (although they're exported in the auto-generated intctrl.h file, so maybe it's something else)

[jonathanpallant]

Yeah that sounds like the Pico SDK needs an update. You could also propose a PR here which updates the patch file to add them if you can't wait for them to appear upstream.

[pta2002]

It seems like embassy's PAC has this working, they probably patched the SVD. I'll see how that can work and will report this upstream.