I got stuck because there is no support of ChibiOS for RP2350
This is the price we have to pay to depend on RTOS with small community and few amount of contributors
@mr_byte31 do we actually need official support to be able to start? It seems there’s some first steps taken in Chibios already (did not test myself yet)
The better question to ask is, “why has no major RTOS distro supported any release of the Pi Pico?”
I don’t have a specific answer for that, but I suspect the answer to that question may reveal some underlying issues with using the Pi Pico in the manner you desire.
That said, nothing stops you from being one of those contributors and porting yourself. That’s a big part of how any open source platform grows.
Ok, so it’s not as “large” as say, the Linux kernel, but it has a core group of active developers, 15,000+ commits over 10 years, and enjoys active development across a well organized community between SourceForge/SVN and a GitHub mirror, which contains 87 community contributors in addition to the core team. That’s not a small undertaking by any measure.
But the bigger point in my post is the unanswered question. I think you should focus there rather than your criticism of open source RTOS in general.