Redox es un sistema operativo similar a UNIX escrito con óxido y con el objetivo de llevar las innovaciones del lenguaje de óxido a un micrkernel moderno y un conjunto completo de aplicaciones.
Redox OS es un sistema operativo de propósito general basado en micro núcleo, unix, similar a unix. Los desarrolladores lo colocan como una alternativa segura a los sistemas UNIX de las familias Linux y BSD y proporcionan compatibilidad parcial con el estándar POSIX.
Los desarrolladores, especialmente el micro núcleo del sistema operativo redox, y todos los componentes del sistema operativo en general están escritos en el lenguaje de ensamblaje y en el lenguaje de programación de óxido, que se vuelve cada vez más popular, lo que reduce la posibilidad de errores y vulnerabilidades de seguridad. La mayoría de los componentes del sistema en el sistema operativo redox están aislados del núcleo (por ejemplo, los controladores funcionan en el campo del usuario), reduciendo así la superficie de ataque (número total de posibles brechas de seguridad del sistema).
Al crear el sistema operativo redox, el equipo de desarrollo se inspiró en las ideas en los proyectos icónicos del pasado y hoy: el plan 9 ("todo es un archivo" concepto), Minix (resistencia de los errores del núcleo crítico y modular a errores básicos críticos, interfaces de comunicación seguras, etc.), SEL4 (un micro núcleo minimalista y de alto rendimiento).
El código de recursos del sistema operativo se distribuye bajo las condiciones de la licencia gratuita del MIT. Está alojado en un almacén público en la plataforma Gitlab.
El equipo de desarrollo del sistema operativo redox consta de más de 40 personas. Jeremy Lefts ha estado en la parte superior del proyecto desde el lanzamiento. La primera versión del sistema operativo redox tuvo lugar en abril de 2015.
El proyecto se financia a través de una organización sin fines de lucro en los Estados Unidos que acepta donaciones a través de varios canales a través de las plataformas Patreon y Donorbox y se transfiere a billeteras de Bitcoin y Ethereum del proyecto. Además, la ropa y los recuerdos de la marca del proyecto obtienen ingresos de la venta