The Oro Operating System official repository
Golang's version of the Rust cargo package manager
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.
Eciton - modular microkernel/exokernel research prototype written in Rust.
Переработка ядра PearKernel
Singleton‑registry microkernel for offline‑first, hot‑swappable, modular apps with flat, capability‑driven composition.
an OS
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.
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.
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.
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.
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.
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.
A modular Kotlin console application that interacts with the GitHub REST API to retrieve and cache user data. Built with Retrofit, custom dependency injection, and microkernel modularity. Supports efficient querying, in-memory caching, and search by username or repository name.
Turbo Code is my own implementation of an IDE from scratch using Rust and crossterm exploring the Microkernel architecture
Ongoing Project. Enterprise Grade Application Development.
An I386 (soon to be) micro-kernel inspired by minix and seL4. Written in standard C and X86-assembly. Preemptive multitasking, with the goal to be scalable and maintainable. This is a hobby project with the goal to learn about kernel design, meaning a lot of mistakes will be made
Add a description, image, and links to the microkernel-architecture topic page so that developers can more easily learn about it.
To associate your repository with the microkernel-architecture topic, visit your repo's landing page and select "manage topics."