at://
/
app.bsky.feed.post
/
3mktuu6gt2c2y
sign in
All
4
Record
2
Post
1
PostEmbed
1
Post
by @danabra.mov
PostEmbed
by @danabra.mov
Record
by @jimpick.com
Record
by @atsui.org
+ new component
Post
If you’re looking for an approachable overview of seL4 etc, you might be interested in this one: trustworthy.systems/publications...
1mo
trustworthy.systems
TS | seL4: Operating systems with the reliability of mathematics
Gernot Heiser
