@@ -30,9 +30,9 @@ This page covers questions and answers for newcomers and end-users.
## What is Redox?
Redox is a microkernel-based, complete, fully-functioning and general-purpose operating system created in 2015, with a focus on safety, freedom, reliability, correctness, and pragmatism.
Redox is a microkernel-based, complete, fully-functioning and general-purpose operating system created in 2015, with a focus on safety, freedom, reliability, correctness, and pragmatism. Wherever possible, the system components are written in Rust and run in user-space.
Wherever possible, the system components are written in Rust and run in user-space.
It aims to be a complete alternative to Linux and BSD.
<b>Redox</b> is a <astyle="color: inherit;"href="https://en.wikipedia.org/wiki/Unix-like"><b>Unix-like</b></a>Operating System written in <astyle="color: inherit;"href="https://www.rust-lang.org/"><b>Rust</b></a>,
aiming to bring the innovations of Rust to a modern microkernel and full set of applications.
<b>Redox</b> is a <astyle="color: inherit;"href="https://en.wikipedia.org/wiki/Unix-like"><b>Unix-like</b></a>general-purpose microkernel-based operating system written in <astyle="color: inherit;"href="https://www.rust-lang.org/"><b>Rust</b></a>,
aiming to bring the innovations of Rust to a modern microkernel, a full set of programs and be a complete alternative to Linux and BSD.
O <b>Redox</b> é um sistema operacional <astyle="color: inherit;"href="https://en.wikipedia.org/wiki/Unix-like"><b>Unix-like</b></a> escrito em <astyle="color: inherit;"href="https://www.rust-lang.org/"><b>Rust</b></a>,
que busca trazer as inovações desta linguagem de programação para um microkernel moderno e um conjunto completo de aplicações.
O <b>Redox</b> é um sistema operacional <astyle="color: inherit;"href="https://en.wikipedia.org/wiki/Unix-like"><b>Unix-like</b></a>de propósito geral baseado em microkernel e escrito em <astyle="color: inherit;"href="https://www.rust-lang.org/"><b>Rust</b></a>,
que busca trazer as inovações desta linguagem de programação para um microkernel moderno, um conjunto completo de programas e ser uma alternativa completa ao Linux e BSD.