As an update on the topic: @lukicdarkoo has generously consented to fork the repo to our organization, of which heβs the official maintainer! A great honour for us
Meanwhile, weβre anxiously waiting for the Arduino Nano RP2040 to be delivered to the thirsty masses, so we can provide an alternative port of micro-ROS to the brand new Raspi Pi Pico via our successful integration w/ the Arduino ecosystem. Stay tuned!
micro-ROS has gotten all the way to the Ubuntu blog (an article which first appeared here): check out this blogpost detailing step-by-step how to put your Raspberry Pi Pico into communication with the ROS 2 ecosystem, thanks to the port of micro-ROS to this board!