Zephyr RTOS support #1525
Description
https://www.zephyrproject.org/, https://docs.zephyrproject.org/latest/boards/arm/rpi_pico/doc/index.html
Hello! Zephyr RTOS is one of the fastest growing, open source RTOS that's managed by the Linux Foundation. In addition to it's growing popularity among engineers, it's being quickly adopted by many silicon vendors (see list.) The community is actively developing in-tree support but I was wondering if the team has considered adding an official port.
Cheers!