RT-Thread is an open source IoT operating system.
You may get to know the RT-Thread project, it is an opensource RTOS project, not simply strip down the linux module to fix the PICO, the RT-Thread RTOS is used in this project combined with its IDE RT-Thread Studio, free of charge. https://www.rt-thread.io/
How to Port Operating System to Different Chip Architecture?
1 project | dev.to | 29 Apr 2021
Hands Writing Robot
2 projects | dev.to | 21 Apr 2021
Embedded Dev 2021
1 project | dev.to | 19 Apr 2021
Introduction to an OpenSource IoT Operating System
1 project | reddit.com/r/software | 12 Apr 2021
DIY A RedClock to Increase Work Productivity!
2 projects | dev.to | 15 Mar 2021