2
1
0
0
#seL4
Latest posts tagged with #seL4 on Bluesky
Trending
#Illinois Primaries
#The Archers
#European Politics
#Trump's NATO Stance
#US-Iran Relations
#ICE Custody
#Joe Kent
#St. Patrick's Day
#World Baseball Classic
#Rachel Maddow
#Illinois Primaries
#The Archers
#European Politics
#Trump's NATO Stance
#US-Iran Relations
#ICE Custody
#Joe Kent
#St. Patrick's Day
#World Baseball Classic
#Rachel Maddow
Posts tagged #seL4
Happy to share that California-based Foresight Institute has awarded us a grant for our work on bridging gap between verification of user-level components and the #seL4 specification.
This will enable end-to-end verification of a complete operating system.
www.linkedin.com/feed/update/...
0
0
0
0
Registration is open for this year’s #seL4 Summit in Vancouver, 1–3 September: sel4.discourse.group/t/registrati...
1
0
0
0
3
0
0
0
1
0
0
0
If you've worked on #L4, #seL4, #fuchsia, #RedoxOS, or any other capability based microkernel operating system, please hmu! I'm doing research, and would love to have a conversation about the ways processes obtain and share capability objects.
0
1
0
0
Interested in contributing to the #seL4 ecosystem, maybe seing your contributions deployed?
Trustworthy Systems has released a firewall as a community project. It’s well-documented, easy to get started with, and there are plenty of parts to contribute. Details at trustworthy.systems/news/#lionso...
2
0
0
0
The recordings of all presentations from this month's #seL4 Summit are up: sel4.systems/news/2025.ht...
4
1
0
0
Has anyone ported seL4 to RP2350 yet? #seL4 #rp2350 #embeddedsystems
1
0
0
0
Regrettably I didn’t take a picture, but one of the coolest talks at the #seL4 Summit was Alexander Böttcher: “Sculpt OS – a dynamic, general-purpose OS powered by Genode on seL4”. It was presented on a laptop running Sculpt OS!
events.linuxfoundation.org/sel4-summit/...
7
0
1
0
2
0
0
0
Again Kaegi at the #seL4 Summit reports on progress on verifying an IPv6 attack with a bunch of undergraduate students
2
0
0
0
0
0
0
0
#seL4 Foundation CEO June Andronick's update reveals that we'll be moving to a new structure, based in Switzerland! Members will no longer have to pay for Linux Foundation membership
6
1
0
0
Yayan Shen from NIO talks at the #seL4 Summit about fault tolerant designs. Also, after launching their seL4-based OS in their new entry- level brand, it now runs in NIO-branded premium EVs
2
0
0
0
Gerwin at the #seL4 Summit talking about making the verification generic, so on new platforms the kernel can be verified quickly
4
0
0
0
The #seL4 Summit is underway in Prague!
John Hatcliff from Kansas State kicks off with a keynote on model- based system development on seL4, as used in various DARPA projects
1
0
1
0
TS celebrating seL4 Day
Today is the 16th anniversary of the completion of se4’s proof of implementation correctness, and the 11th anniversary of seL4 being open-sourced.
Happy #seL4 Day from all at Trustworthy Systems!
23
6
0
0
4
0
0
0
0
0
0
0
If I had money (I'm broke) I'd put out the call for better DX for #seL4.
1
0
0
0
picture representation of 1st 2 paragraphs in linked text
Still worth a read - for kernel hackers and for people who wonder in what ways reality, formal logic, software correctness proofs and human action interdepend. #seL4
sel4.systems/Info/FAQ/pro...
0
0
0
0