redox

gitlab.redox-os.org

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.

More in Operating systems

tock

A secure embedded operating system for Cortex-M based microcontrollers

release-2.3.0updated today

6.5k

asterinas

A secure, fast, and general-purpose OS kernel that provides Linux-compatible ABI.

v0.19.0updated today

Theseusby theseus-os

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

updated 2y ago

3.2k

moss-kernelby hexagonal-sun

A Unix-like, Linux-compatible kernel written in Rust and Aarch64 assembly.

updated 7d ago

aeroby Andy-Python-Programmer

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

updated 1y ago

1.3k

DragonOSby DragonOS-Community

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

V0.4.0updated today

1.2k

morosby vinc

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

moros0.13.033/90d updated 1d ago

1.1k

rust_osby thepowersgang

An OS kernel written in rust. Non POSIX

updated 9d ago

817

All 12 in Operating systems