#Microkernel
Showing 11 of 11 repositories tagged #microkernel, ranked by stars
Mirror of https://gitlab.redox-os.org/redox-os/redox
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Mirror of https://gitlab.redox-os.org/redox-os/kernel
Experimental WASM Microkernel Operating System
NOVA Microhypervisor
Lightweight Sandbox Powered by a Purpose-Built VM and OS
Modular Python SDK and monorepo for AI agents, LLM integrations, tools, parsers, embeddings, vector stores, and extensible application workflows.
Kernel for the Oro Operating System
MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn't define TrustZone-like primitives to provide hardware separation. To shield critical functionality from untrusted third-party components, MultiZone provides hardware-enforced, software-defined separation of multi
A secure and high performances microkernel for building secure MCU-based IoTs
Simple GUI based Operating System - Based upon my own Microcokernel, heavily inspired by the original 1980s AmigaOS (though somewhat simpler).