AxonOS

The open cognitive operating system for brain–computer interfaces.

_{🇬🇧 English · 🇯🇵 日本語 · 🇨🇳 中文 · 🇮🇹 Italiano · 🇫🇷 Français · 🇩🇪 Deutsch · 🇪🇸 Español · 🇸🇦 العربية}

axonos.org  ·  Specifications  ·  SDK  ·  Research  ·  Articles  ·  connect@axonos.org

AxonOS is a hard real-time neural operating system for brain–computer interfaces. Open-source kernel in #![no_std] Rust on ARM Cortex-M. Formally bounded worst-case response time. Structural privacy that the application layer cannot bypass.

It is not an AI-agent framework, not a chatbot runtime, not a generic Python SDK, and not a token project. Everything below the application — the timing guarantees, the neural-permission model, the consent state machine — is specified, openly licensed, and built to be independently verified.

Applications should receive typed, consent-bound intent events — never unrestricted raw neural streams.

Three honest paths, depending on what you want.

Every repository is public. Source under Apache-2.0 OR MIT, specifications under CC-BY-SA-4.0. There are no private repositories. Each repository has one role.

_{A dedicated wire / conformance repository (axonos-protocol) is not yet public; the wire format and conformance suite are currently specified within axonos-standard and axonos-rfcs.}

flowchart LR
    A[EEG/EMG sensors<br/>ADS1299 · 24-bit] -->|raw| B[Acquisition gateway<br/>nRF52840]
    B -->|filtered| C[AxonOS kernel<br/>Rust no_std<br/>Cortex-M4F]
    C -->|WCRT 972µs| D[Cognitive scheduler]
    D -->|typed intent| E[Application<br/>via SDK]
    F[Cognitive Hypervisor<br/>TrustZone-S] -.->|isolates| C
    G[Consent FSM<br/>axonos-consent] -.->|gates| D

    classDef kernel fill:#0a4a8f,stroke:#0a4a8f,color:#fff,stroke-width:2px
    classDef secure fill:#0d7a5f,stroke:#0d7a5f,color:#fff,stroke-width:2px
    class C kernel
    class F,G secure

Every arrow is a contract. The Standard defines what must hold at each boundary; an implementation is free in everything else.

Each number is traceable to a repository. The evidence taxonomy — L1 formally proven, L2 measured, L3 independently validated — is defined in VALIDATION.md. The public stack currently holds L1 and L2 evidence; L3 is not yet claimed.

git clone https://github.com/AxonOS-org/axonos-sdk
cd axonos-sdk
cargo test --features std

use axonos_sdk::{Capability, IntentStream, Manifest};

let manifest = Manifest::builder()
    .app_id("com.example.cursor")?
    .capability(Capability::Navigation)
    .max_rate_hz(50)
    .build()?;

let mut stream = IntentStream::connect(&manifest)?;
while let Some(obs) = stream.try_next()? {
    println!("{:?} @ {} µs ({}%)",
        obs.kind(),
        obs.timestamp().as_micros(),
        obs.confidence_percent());
}

The SDK is the Rust reference binding. C FFI, Python, WebAssembly, JNI, and Swift bindings are on the published roadmap.

AxonOS does not currently claim, and this organisation must not be read as claiming:

• FDA clearance, CE marking, or medical-device approval in any jurisdiction;
• clinical efficacy, or independent clinical validation;
• certified medical-device status, or production-implant readiness;
• complete compliance with IEC 62304, ISO 14971, or ISO 13485.

These are possible future milestones. They are not present facts, and the project records them as such.

• Specifications — kernel ABI v1, capability catalogue, IntentObservation wire format, RFC index
• SDK and language bindings — Rust today; C FFI, Python, WebAssembly, JNI, Swift on the published roadmap
• Standards engagement — IEEE P2731 · IEC 62304 · ISO 13485 · FDA 510(k) · EU MDR
• Governance — current state, transition plan, trademark policy
• Engineering memo — three-page summary for technical readers
• Long-form articles — 42+ pieces, one per major architectural decision

The AxonOS Project

axonos.org  ·  connect@axonos.org  ·  LinkedIn  ·  Medium

_{Singapore · Zurich · Berlin · Milano · San Mateo}

_{Built with Rust. Verified with Kani. Aimed at hard real-time.}