The Oro Operating System official repository
Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.
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.
NestJS Microkernel Architecture Template with Docker – A scalable, modular backend template with dynamic plugin loading, including Docker and Docker Compose support for easy setup and deployment.
Golang's version of the Rust cargo package manager
CopCap is python microkernel for running ANY python (or WASM) file in isolated environment by wasmtime + micropython using RPC-like protocol for delivering packets using ring-system security (like in ARM) and selinux-like policy
A modern, hybrid (C++23/Rust 2024) 64-bit operating system kernel featuring a custom Kernel Object Model (KOM), Scalable Core Scheduler (SCS), and Zero-Copy DMA storage stack. Built from scratch for UEFI systems.
Eciton - modular microkernel/exokernel research prototype written in Rust.
Singleton‑registry microkernel for offline‑first, hot‑swappable, modular apps with flat, capability‑driven composition.
Переработка ядра PearKernel
An Experimental Architecture for Autonomous Agents
WSL2 free SharpCore Microkernel The modular and portable core of the SharpCore ecosystem. A microkernel-like runtime designed to handle dynamic instruction payloads through interchangeable communication protocols.
Kernox is a lightweight and extensible javascript framework designed to build highly decoupled real-time applications. Inspired on the Entity-Component-System architecture.
A simple CLI-based hospital management system implemented using the Eclipse Equinox OSGi framework and designed with Microkernel Architecture.
an OS
A Zero-Trust AI agent framework built on microkernel security principles and capability-based access control.
osgi-plugin-project
A scalable client-server Rock–Paper–Scissors game built in Java using the UDP protocol. Features a custom dependency injection (DI) container, microkernel modularity, and a packet dispatcher for efficient client routing. Supports multiple clients, queuing them until paired for a two-player match.
OS-like agentic microkernel for governed AI orchestration in marketing, with auditable planning, execution, memory and external effects.
To associate your repository with the microkernel-architecture topic, visit your repo's landing page and select "manage topics."