GitHub repository: tianrking/micro_ros_raspberrypi_pico_sdk
Description: Raspberry Pi Pico (RP2040) and micro-ROS integration