Operating systems
tock/tock5.6K

A secure embedded operating system for Cortex-M based microcontrollers

theseus-os/Theseus2.9K

A safe-language, single address space and single privilege level OS written from scratch

Andy-Python-Programmer/aero1.2K

A modern, unix-like operating system following the monolithic kernel design.

vinc/moros932

A text-based hobby operating system targeting computers with a x86-64 architecture and a BIOS.

DragonOS-Community/DragonOS928

An operating system with a self-developed kernel from scratch and Linux compatibility.

thepowersgang/rust_os757

An OS kernel written in rust. Non POSIX

0x59616e/SteinsOS118

An OS for armv8-a architecture.

adamperkowski/highlightos53

x86_64 OS kernel written in Rust & Assembly.

r
redox-os/redox

A Unix-like general-purpose microkernel-based operating system with a focus on security, stability, performance, correctness, simplicity and pragmatism that aims to be a complete alternative for Linux and BSD.