redox-os / redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

tock / tock

A secure embedded operating system for microcontrollers

copper-project / copper-rs

Copper is an operating system for robots - build, run, and replay your entire robot deterministically.

ariel-os / ariel-os

Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust

bottlerocket-os / bottlerocket

An operating system designed for hosting containers

vahmoh25 / Veda

The Agentic-Native Operating System

maestro-os / maestro

Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases

hermit-os / hermit-rs

Hermit for Rust.

kazetaos / kazeta

Retro 90s style gaming operating system

JonasKruckenberg / k23

Experimental WASM Microkernel Operating System

hermit-os / kernel

A Rust-based, lightweight unikernel.

DragonOS-Community / DragonOS

DragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for **Serverless** scenarios.

vinc / moros

MOROS: Obscure Rust Operating System 🦉