June 2026 - Devel - lists.sel4.systems

seL4 developer hangout reminder
by Birgit Brecknell 22 Jun '26

22 Jun '26

Hi all A friendly reminder that the seL4 developer hangout is on again next week. Wed 24 Jun, 8:00 UTC For your local date and time please see https://sel4.systems/stay-informed.html#calendar Zoom link: https://unsw.zoom.us/j/82640784431 Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

RFC: Enabling uROS on seL4
by HHN 21 Jun '26

21 Jun '26

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

1 0

libsel4 status
by Yanfeng Liu 02 Jun '26

02 Jun '26

Dear experts, It seems that currently libsel4 has many inlined functions thus user space code size is large. I am wondering if this is really necessary? If current libsel4 is not for production use, then it doesnt matter. Otherwise I am wondering if we need support size optimized config as well? I am hoping that libsel4 changes wont affect kernel verification? Regards, yf

3 4