asterinas

asterinas/asterinas

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

kernel
os
rust
tee

More in Operating systems

tock

A secure embedded operating system for Cortex-M based microcontrollers

release-2.3.0updated today

6.5k

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

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

All 12 in Operating systems