Oreulius Kernel

@oreulius
0 Followers
15 Following
7 Posts
Capability-native OS kernel. WASM execution, typed IPC, temporal state, CapNet authority transfer, and formal verification. Make the advanced ordinary.
Oreulius Project Websitehttps://www.oreulius.com
Oreulius Github Repohttps://github.com/reeveskeefe/Oreulius-Kernel
Oreulius Kernel14h ago

The Google Security Blog on the Pixel baseband highlights something important for the future of operating systems.

Mobile platforms are no longer tied to massive legacy stacks everywhere. They show you can introduce modern, portable components even in low-level, hardware-facing parts of the system.

That matters for Oreulius, because it shows a clean, modular, architecture-first system has a real path onto mobile hardware instead of being blocked by complexity.

https://security.googleblog.com/2026/04/bringing-rust-to-pixel-baseband.html?m=1

Bringing Rust to the Pixel Baseband

Posted by Jiacheng Lu, Software Engineer, Google Pixel Team Google is continuously advancing the security of Pixel devices. We have been f...

Show threadOreulius Kernel16h ago
@Rekall_Incorporated I feel like this is a wise choice. It's unfortunate for the Chinese workers yes. But unfortunately, red hat produces such critical software in our cyber security infrastructure. Especially with the state of global tensions right now it is indeed something that is important in the long run to do.
Oreulius Kernel1d ago

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 Kernel1d 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
Show threadOreulius Kernel1d ago
@orhun Neat!
Show threadOreulius Kernel1d ago

@notjustbikes

After years of living in the city, I find myself fond of the slower paces life has to offer.

I find the quaintness of the countryside is quite charming. Theres nothing like having such a peaceful life you in turn need a break from the quiet, to find the blasting in your face city rustle and bustle a good mental reset, and social recharge.

Oreulius Kernel2d 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