03 — veylOS
A kernel designed for the AI era.
veylOS is an open, educational operating-system kernel in Rust, exploring three non-negotiables: memory safety by construction, zero-trust capability security, and AI inference as a first-class kernel subsystem. Early-stage, and developed in the open.
AI as a kernel citizen
Not a library bolted onto user space: a dedicated tensor memory region, a scheduler class that won't preempt mid-inference, and a typed AI syscall family — with model weights integrity-checked and zero-wiped the moment they're freed.
No ambient authority
A pure object-capability model: every access is mediated by a 128-bit, HMAC-authenticated token that can expire and be revoked. Processes start with nothing. "Running as root" does not exist.
Memory safety by construction
Written in Rust, with every unsafe block confined to a
small hardware-abstraction layer — the rest of the kernel is
forbidden unsafe by the compiler, and every safety
justification is enforced in CI.
Built in the open
Today veylOS boots on bare metal, routes interrupts and parses ACPI. The capability engine and AI subsystem are designed, ADR'd and on the public roadmap — we ship the design before we ship the claim.
Is veylOS a production operating system?
No. veylOS is an early-stage, educational research kernel. It currently boots on bare metal, routes interrupts and parses ACPI. The capability engine and AI subsystem are on the public roadmap.
Why write a kernel in Rust?
Rust's ownership model eliminates large classes of memory-safety bugs at compile time. In veylOS, unsafe code is confined to a small hardware-abstraction layer and every use is documented and enforced in CI.
What does AI as a kernel citizen mean?
Instead of treating AI inference as a userspace library, veylOS reserves a dedicated tensor memory region, adds a non-preemptive scheduler class for inference workloads, and exposes typed AI syscalls. Model weights are integrity-checked and zero-wiped on free.
How is veylOS licensed?
veylOS is open source under an OSI-approved license. Source code, design documents and the public roadmap are available in the repository.