this post was submitted on 20 Nov 2025
1 points (100.0% liked)

Lobste.rs

277 readers
16 users here now

RSS Feed of lobste.rs

founded 1 year ago
MODERATORS
patrick@lemmy.bestiver.se
rssbot@lemmy.bestiver.se
1
The Lions Operating System (lionsos.org)
submitted 5 hours ago by rssbot@lemmy.bestiver.se to c/lobsters@lemmy.bestiver.se
0 comments fedilink hide all child comments
 

LionsOS is an operating system based on the seL4 microkernel with the goal of making the achievements of seL4 accessible. That is, to provide performance, security, and reliability. LionsOS is being developed by the Trustworthy Systems research group at UNSW Sydney in Australia. Comments

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here