#sel4summit — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #sel4summit, aggregated by home.social.
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit