Skip to content
EntityQ23665359· pop 16· linked from 131 articles

Also known as Redox OS, RedoxOS

Redox is a Unix-like operating system based on a microkernel design. It is community-developed, released as free and open-source software and distributed under an MIT License. Written in the programming language Rust, Redox aims to be a general-purpose operating system that is safe and reliable. It is currently in a pre-stable status.

Key facts

OS.name
Redox
OS.logo
Redox logo 2015.svg
OS.screenshot
Redox running Orbital.png
OS.caption
Redox running Ion shell in Orbital windowing system
OS.developer
Jeremy Soller,Redox Developers
OS.programmed in
Rust, assembly
OS.family
Unix-like
OS.working state
Current
OS.source model
Free software
OS.latest preview version
0.9.0
OS.marketing target
Desktop, workstation, server
OS.language
English
OS.package manager
pkgutils
OS.supported platforms
IA-32, AMD64, AArch64, RISC-V
OS.kernel type
Microkernel
OS.userland
Custom
OS.ui
Command-line, Orbital
OS.license
MIT

via Wikipedia infobox

Official website

Redox - Your Next(Gen) OS - Redox - Your Next(Gen) OS

The Redox official website

redox-os.org

Link to the official site · 7,451 chars · not written by Vinony

Source code

Redox is under active development by a vibrant community, you can see the key links below: The main website for Redox OS. The Redox Book and Build Instructions. Redox Chat and Support. Patreon, Donate and Merch. Scroll down for a list of key Redox components and their repositories. Redox is an open-source operating system written in Rust, a language with focus on safety, efficiency and high performance. Redox uses a microkernel architecture, and aims to be reliable, secure, usable, correct, and free. Redox is inspired by previous operating systems, such as seL4, MINIX, Plan 9, Linux and BSD. Redox is not just a kernel, it's a full-featured operating system , providing components (file system, display server, core utilities, etc.) that together make up a functional and convenient operating system. Redox uses the COSMIC desktop apps, and provides source code compatibility with many Rust, Linux and BSD programs.

Excerpt from the source-code README · 4,998 chars · not written by Vinony

Wikidata facts

Official website
www.redox-os.org
Image
Redox running Orbital.png
Show 14 more facts
source code repository URL
gitlab.redox-os.org/redox-os/redox
software version identifier
0.9.0
official donation page URL
redox-os.org/donate
inception
2015-04-20
public key fingerprint
5A0F 8943 DF14 E9D1 0670 28F6 AA12 E97F 0881 517F
user manual URL
doc.redox-os.org/book
name in kana
レドックス
social media followers
1185
Commons category
Redox
official forum URL
discourse.redox-os.org
Sources (13)

via Wikidata · CC0

~3 min read

Article

5 sections
Contents
  • Development
  • Components and apps
  • See also
  • References
  • External links

Redox is a Unix-like operating system based on a microkernel design. It is community-developed, released as free and open-source software and distributed under an MIT License. Written in the programming language Rust, Redox aims to be a general-purpose operating system that is safe and reliable. It is currently in a pre-stable status.

== Development == Redox was created by Jeremy Soller and was first published on 20 April 2015 on GitHub. Redox gets its name from the reduction-oxidation reactions in chemistry; one redox reaction is the corrosion of iron, also called rust. Soller himself is also an engineer at System76.

Connections

Categories