I meant projects that put ROS on a microcontroller with an RTOS other than rosserial. This is what I found after googling a bit:
http://wiki.ros.org/sig/Embedded
http://wiki.ros.org/FreeRTPS%2BFreeRTOS
Also the code from bosch comes up often:
The only place I could find any information about microROS is this discourse topic.