Redox favicon

Redox

Redox is a Unix-like microkernel operating system written in the programming language Rust, a language with focus on safety and high performance.[2][3][4] Redox aims to be secure, usable, and free. Redox is inspired by prior kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD. It is similar to the GNU or BSD ecosystem, but in a memory safe language and with modern technology.[5] It is free and open-source software distributed under an MIT License.

XNU

XNU

XNU kernel is part of the Darwin operating system for use in OS X and iOS operating systems. XNU is an acronym for XNU is Not ...

GNU Hurd

GNU Hurd

GNU Hurd (usually referred to as the Hurd) is a computer operating system kernel designed as a replacement for Unix, released ...