Mastodawn

Stayed up later than I wanted working on this one, but it was important for the security, defensibility, and verifiability of the OS.

https://github.com/reeveskeefe/Oreulius-Kernel/releases/tag/v0.1.3-Alpha

#rustlang #osdev #wasm #kernel #unikernel #systems

Release Source release v0.1.3-Alpha · reeveskeefe/Oreulius-Kernel

Source-only release for v0.1.3-Alpha. Binary artifacts and OCI packages are published separately by package.yml. Changelog Oreulius Alpha v0.1.3 Oreulius Alpha v0.1.3 is a deep ABI-hardening and ve...

GitHub

Oreulius Kernel 11h ago

want to try the kernel live? visit the site here https://www.oreulius.com/try

Oreulius Kernel

A capability-native, WASM-first kernel with temporal state and in-kernel verification. Built in Rust for systems research and security-sensitive deployments.

Oreulius Kernel

Oreulius Kernel 1d ago

Introducing Oreulius Kernel.

A capability-native OS kernel in Rust.Not just a WASM runtime. Typed IPC, temporal state, CapNet distributed authority, and formal verification , all co-designed.

Clone, build, and boot in minutes:

https://github.com/reeveskeefe/Oreulius-Kernel

GitHub - reeveskeefe/Oreulius-Kernel: A WASM‑first, capability‑native unikernel designed to run small, isolated WASI workloads on edge/cloud hosts, providing deterministic temporal snapshots, capability‑based authority transfer, and in‑kernel verification to enable secure, auditable migration and replay. It targets security and audit-sensitive deployments and systems‑research

A WASM‑first, capability‑native unikernel designed to run small, isolated WASI workloads on edge/cloud hosts, providing deterministic temporal snapshots, capability‑based authority transfer, and in...

GitHub

Oreulius Project Website	https://www.oreulius.com
Oreulius Github Repo	https://github.com/reeveskeefe/Oreulius-Kernel