Skip to content
#

microkernels

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Makefile 1 Rust 1

AxonOS-org / axonos-kernel

Star 4

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. ABI v1 — tandem with axonos-sdk.

rust security real-time embedded cortex-m zero-copy bci microkernel rtos bare-metal formal-verification no-std brain-computer-interface safety-critical kani microkernel-architecture microkernels axonos
  • Updated Jun 4, 2026
  • Rust

Improve this page

Add a description, image, and links to the microkernels topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the microkernels topic, visit your repo's landing page and select "manage topics."

Learn more