axonos-kernel
importedsoftware/axonos-kernel
Hard real-time Rust microkernel for brain-computer interfaces. #![no_std] on Cortex-M, EDF scheduling with Kani-verified WCRT bounds, zero-copy intent path, capability-based privacy by construction.…
Machine-generated from the listed sources and not yet reviewed by a human.
- Category
- Software & Systems
- Subcategory
- unknown
- License
- MIT(osi)
- Status
- active
- Maturity
- deployed
- Organization
- AxonOS-org
- Country
- unknown
- Homepage
- axonos.org
- Repository
- github.com/AxonOS-org/axonos-kernel
- Documentation
- unknown
- Tags
- axonos · bare-metal · bci · brain-computer-interface · cortex-m · embedded · formal-verification · kani · microkernel · microkernel-architecture · microkernels · no-std · real-time · rtos · rust · safety-critical · security · zero-copy
- Regulatory
- unknown
Computed from shared tags, weighted so a rare tag counts for more than a common one. These are suggestions, not curated relationships.
- axonos-signal-pipelineaxonos · bci · brain-computer-interface · embedded · no-std
Deterministic, vector-pinned BCI signal pipeline for AxonOS: raw acquisition frame -> typed, consent-bound decision. no_std, zero-deps, unsafe-free, fixed-point. Engineering demonstrator, not a…
- AxonOSaxonos · bci · brain-computer-interface · real-time
Public entry point for the AxonOS project — an open operating layer for brain-computer interfaces.
- axonos-community-radaraxonos · bci · brain-computer-interface
AxonOS Radar — a living, auto-updated map of the open brain-computer-interface field. An AxonOS community project.
- EEG-BCI-Carbci · brain-computer-interface · embedded · real-time
An EEG-based real-time brain-computer interface system for emergency vehicle takeover, integrating model training, offline inference, embedded hardware control, and GUI deployment.
- bcisimulatorbci · brain-computer-interface · real-time
A simple closed-loop BCI simulator for testing real-time neural decoding algorithms
- mne-rtbci · brain-computer-interface · real-time
Real-time M/EEG signal processing
- api.github.com/repos/AxonOS-org/axonos-kernelretrieved 2026-08-25 · via github-api
Machine-imported from GitHub search. Last push 2026-08-20, 5 stars, license reported as MIT. Category and schematic were assigned by keyword heuristics and are unreviewed.
Not yet verified by a human. Correct this record →
/v1/entries/39.json→ .entries["axonos-kernel"]
Entries are sharded 64 ways by a stable hash of the id, so a consumer can find any record without an index.