Hi Everyone, I have recently been experimenting with porting uROS to seL4.
uROS (micro-ROS) is a very minimal version of ROS (Robot Operating System) - a well known robotics middleware suite. I have implemented the micro-ROS examples <https://github.com/micro-ROS/micro-ROS-demos/tree/kilted/rclc> and the necessary system to run them on seL4 over here <https://github.com/Johan511/sel4_uros>. A high level explanation of the work can be found here <https://johan511.github.io/posts/2025-01-19-uros-on-sel4/>. I do not have any prior experience with Operating system development or with ROS, so any critiques are much appreciated. Thank you -- Hari Hara Naveen _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
