Linked in the faq : https://gitlab.redox-os.org/redox-os/redox/-/blob/master/HARDWARE.md
Linked in the faq : https://gitlab.redox-os.org/redox-os/redox/-/blob/master/HARDWARE.md
RedoxOS >>> It’s written in Rust and is learning both from the success of Linux by being source compatible with it and from smaller/experimental OS like Plan9, seL4, Minix and BSD.
RedoxOS, an open source operating system written in Rust that aims to improve correctness and safety by picking up innovations made by experimental operating systems over the years while not reinventing the wheel and trying to be source compatible with Linux.
QubesOS, the most secure open source operating system making it easy to use security by virtualisation, splitting your activities, peripherals, drivers into different virtual machines.
Linked in the faq : https://static.redox-os.org/pkg/x86_64-unknown-redox/