Follow

Apparently I'm spending more time investigating the seL4 build system than actually using seL4...

Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!