Operating systems

12 projects

Rust is attractive for kernels because it removes whole classes of memory bugs while still allowing direct hardware access through clearly marked unsafe code. Redox is the most complete general-purpose system here: a Unix-like microkernel OS with its own userspace, file system and GUI. Tock targets microcontrollers and isolates untrusted applications, which suits security keys and sensor devices.

SteinsOSby 0x59616e

An OS for armv8-a architecture.

updated 5y ago

128

aeroby Andy-Python-Programmer

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

updated 1y ago

1.3k

asterinas

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

v0.19.0updated today

DragonOSby DragonOS-Community

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

V0.4.0updated today

1.2k

moss-kernelby hexagonal-sun

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

updated 7d ago

highlightosby koibtw

X86_64 OS kernel written in Rust & Assembly.

v0.3.4updated 4mo ago

nonos-micro-kernelby NON-OS

A capability-based, RAM-resident microkernel where every program is a signed capsule that must prove itself before the kernel will run it, and drivers run in userspace.

updated today

315

redoxby redox-os

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.

gitlab.redox-os.org