Oreulius Kernel

oreulius@mastodon.social

<p>Capability-native OS kernel. WASM execution, typed IPC, temporal state, CapNet authority transfer, and formal verification. Make the advanced ordinary.</p>