Cardinal; - An extremely modular, security oriented microkernel operating system.

kOS - A cozy OS

Projects of the discipline Basic Organization of Computers and Assembly Language (MC404) taught by Professor Edson Borin

💎 A microkernel OS written in Rust that runs Wasm at ring 0, allowing developers to write self-contained modules in multiple programming languages. Highly efficient, secure, and flexible, ideal for embedded systems and IoT.

An experimental micro kernel written in Zig

A small microkernel operating system developed from scratch for the ARM-based taskit Portux MiniPC SoC with an AT91RM9200 CPU, 16 MiB Flash memory and 64 MiB RAM. This project was developed during Barry Linnert's operating systems course at Freie Universität Berlin over the course of fourteen weeks in 2018-2019.

Microkernel, for Smartphone usage, modular like a linux kernel, but written entirely in rust.

The X15 microkernel

lites mach bsd archive

A template for develping modules for the MicroKosm operating system

Maven archetype for executable .war files based on Jetty

A Micro Kernel

Pong for the L4Re Microkernel Operating System

Tiny operating system for aarch64 devices

MultiZone® Trusted Firmware is the quick and safe way to build secure IoT applications with any RISC-V processor. It provides secure access to commercial and private IoT clouds, real-time monitoring, secure boot, and remote firmware updates. The built-in Trusted Execution Environment provides hardware-enforced separation to shield the execution of

Maintainable RTOS (MOS)

A reliable microkernel that is intended for every use on every device

A hypothetical HaLVM lightning talk

YASDOE a Simple 65816, ARM, and 680x0 Operating System