Now

In Progress — v0.1.x

Active development milestones targeted for the v0.1.x release series.

In ProgressQ2 2025

EoS v0.1.0 — Kernel Foundation

Core kernel with preemptive RT scheduler, 33-peripheral HAL, 41 product profiles, SMP/AMP multicore, and capability-based security model.

EoSKernelHALSMP
In ProgressQ2 2025

eBootloader v0.1.0 — Secure Boot

ECDSA-256 signature verification, SHA-256 hash chain, anti-rollback counters, ARM TrustZone integration, and OTA dual-bank update support.

eBootloaderSecurityOTA
In ProgressQ3 2025

EAI v0.1.0 — INT4/INT8 Inference

INT4 and INT8 quantized inference on Cortex-M55/M85 with Helium MVE acceleration, TFLite Micro and GGUF model format support.

EAIINT4HeliumLLM
In ProgressQ3 2025

eBuild v0.1.0 — Build System

CMake + Ninja build system with 8 toolchain support, 41 target profile presets, SDK generation, and GitHub Actions CI integration.

eBuildCMakeCI/CD
Next

Coming Soon — v0.2.x

Planned milestones for the v0.2.x release series, targeted for late 2025.

PlannedQ4 2025

ENI v0.1.0 — Neural Interface

1,024-channel neural signal acquisition, real-time spike sorting with 99.2% accuracy, BCI protocol stack, and EoSim HIL integration.

ENIBCINeural
PlannedQ4 2025

EIPC v0.2.0 — Zero-Copy IPC

Zero-copy shared memory channels, lock-free inter-core queues for SMP, capability token delegation, and deadlock detection tooling.

EIPCZero-CopySMP
PlannedQ1 2026

EoSim v0.2.0 — HIL Bridge

Sub-microsecond HIL bridge latency, 16-peripheral simulation, fault injection framework, and EoStudio one-click launch integration.

EoSimHILQEMU
PlannedQ1 2026

eDB v0.1.0 — Embedded Database

ACID transactions with WAL, AES-256-XTS per-page encryption, B-Tree and hash indexes, SQL subset query language, and NOR/NAND Flash backends.

eDBACIDAES-XTS
Future

On the Horizon — v1.0 and Beyond

Long-term vision items under research and community discussion.

EoS v1.0 — Stable ABI

Stable kernel ABI with long-term support (LTS) designation, formal verification of the scheduler and IPC primitives, and DO-178C / IEC 61508 certification artifacts.

StabilityCertification

EAI v1.0 — Transformer on MCU

Full transformer attention on Cortex-M85, multi-modal vision-language models at INT4, and on-device fine-tuning with federated learning support.

TransformerFederated

ENI v1.0 — 4,096 Channels

Scale to 4,096 simultaneous neural channels, wireless BCI protocol, implantable-grade power management, and FDA 510(k) pathway documentation.

Wireless BCIFDA

eOS Platform v1.0

Full integrated platform release combining EoS, EAI, EIPC, eDB, ENI, eBootloader, eBuild, EoSim, and EoStudio in a single versioned SDK.

PlatformSDK

RISC-V First-Class Support

RISC-V RV32/RV64 as a tier-1 architecture with full HAL coverage, RISC-V V-extension AI acceleration, and PMP-based security model.

RISC-VV-ext

Formal Verification

Mathematical proof of correctness for the EoS scheduler, EIPC channel model, and eBootloader chain of trust using Coq and F*.

Formal MethodsCoq

Shape the Roadmap

Have a feature request or want to vote on priorities? Open a GitHub Discussion or join our community forum.