The sequence
Phase by phase
Each layer is built, hardened, and — where it crosses a trust boundary — externally audited before the next one depends on it.
Phase 1
Ready today
Microkernel foundation
The Rust microkernel boots bare-metal on x86-64 and runs on real hardware: memory, scheduling, typed message-passing, and the capability primitives, with user-space drivers for NVMe, VirtIO-net, and e1000e, and a from-scratch AI inference pipeline running from a Ring 3 process. This is the trusted base everything else stands on. It gets an external security audit before it carries real workloads.
Phase 2
In progress
AI runtime and local inference
The AI Runtime Service, exposed through system calls, with a tensor layer that dispatches to CPU, GPU, and NPU. Inference runs entirely on the local device by default. The first encrypted-by-default data types land in the OS API, alongside the local tokenization service that strips identifiers before anything is shared. A signed reference model, verified before it loads.
Phase 3
Planned
Personal cluster
Your own devices, working together. NexaCore OS finds other instances on your network, attests them, and connects over mutual TLS, then splits larger models across them. Nothing leaves machines you own.
Phase 4 · v1.0
Planned
Federated mesh, and v1.0
The opt-in peer-to-peer mesh: distributed discovery, a QUIC and Noise transport with mandatory mutual attestation, TEE-only encryption envelopes, a compliance proof on every message, a signed compute-credit ledger, reputation, and onion routing for sensitive work. Mixture-of-experts models distribute across peers, and results are checked by redundant execution. This is the v1.0 release: inference across all tiers, on x86-64 with hardware trusted execution. It ships after a comprehensive external audit.
Phase 5 · v1.1
Planned
Wider hardware
Apple Silicon with Secure Enclave attestation, and performance work driven by real v1 usage on real machines.
Beyond · v2.0
Planned
Federated training
Training across the mesh, not just inference: secure aggregation of gradients, differential-privacy noise, relaxed-sync training between peers, and a community model registry where experts can be trained, forked, and merged.