SUPPORT THE WORK

GetWiki

Redox (operating system)

ARTICLE SUBJECTS
aesthetics  →
being  →
complexity  →
database  →
enterprise  →
ethics  →
fiction  →
history  →
internet  →
knowledge  →
language  →
licensing  →
linux  →
logic  →
method  →
news  →
perception  →
philosophy  →
policy  →
purpose  →
religion  →
science  →
sociology  →
software  →
truth  →
unix  →
wiki  →
ARTICLE TYPES
essay  →
feed  →
help  →
system  →
wiki  →
ARTICLE ORIGINS
critical  →
discussion  →
forked  →
imported  →
original  →
Redox (operating system)
[ temporary import ]
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{Short description|Operating system written in Rust}}{{primary sources|date=July 2019}}







factoids
Rust (programming language)>Rust, assembly| family = Unix-like| working state = Current| source model = Free softwareDesktop computer>Desktop, workstation, server| language = English| package manager = pkgutilsx86-64; ARM architecture>ARM64 in developmentPORTING REDOX TO ARM (AARCH64)>URL=HTTPS://MEDIUM.COM/@WIZOFE/RSOC-PORTING-REDOX-TO-ARM-AARCH64-0X02-C566EE22F377, 6 August 2018, | kernel type = Microkernel| userland = CustomCommand-line interface>Command-line, OrbitalMIT License>MITPOSIXWHAT IS REDOX?ACCESS-DATE=16 MAY 2020ARCHIVE-URL=HTTPS://WEB.ARCHIVE.ORG/WEB/20200524084835/HTTPS://DOC.REDOX-OS.ORG/BOOK/CH01-02-WHAT-IS-REDOX.HTML, dead, }}Redox is a Unix-like microkernel operating system written in the programming language Rust, which has a focus on safety, stability, and performance.WEB,weblink Redox - Your Next(Gen) OS - Redox - Your Next(Gen) OS, www.redox-os.org, WEB,weblink Operating Systems: Rust Redox – An Next-Generation Attempt to Plug Linux OS Gaps, Weisinger, Dick, 4 May 2016, Formtek, Formtek, Inc., 17 January 2017, . NEWS, Yegulalp, Serdar, 21 March 2016, Rust's Redox OS could show Linux a few new tricks,weblink InfoWorld, IDG Communications, Inc., San Francisco, 17 January 2017, Redox aims to be secure, usable, and free. Redox is inspired by prior kernels and operating systems, such as (L4 microkernel family#High assurance: seL4|SeL4), MINIX, Plan 9, and BSD. It is free and open-source software distributed under an MIT License.Redox gets its name from the reduction-oxidation reactions in chemistry; one redox reaction is the corrosion of iron, also called rust.

Design

The Redox operating system is designed to be secure. This is reflected in two design decisions:
  1. Using the programming language Rust for implementation
  2. Using a microkernel design, similar to MINIX

Components

Redox provides packages (memory allocator, file system, display manager, core utilities, etc.) that together make up a functional operating system. Redox relies on an ecosystem of software written in Rust by members of the project.
  • Redox kernel – derives from the concept of microkernels, with inspiration from MINIX
  • Ralloc – memory allocator
  • TFS file system – inspired by the ZFS file system
  • Ion shell – the underlying library for shells and command execution in Redox, and the default shell
  • pkgutils – package manager
  • Orbital windowing system – display and window manager, sets up the orbital: scheme, manages the display, and handles requests for window creation, redraws, and event polling
  • relibc – C standard library

Command-line applications

Redox supports command-line interface (CLI) programs, including:
  • Sodium – vi-like editor that provides syntax highlighting

Graphical applications

Redox supports graphical user interface (GUI) programs, including:

History

Redox was created by Jeremy Soller and was first published on 20 April 2015 on GitHub.WEB,weblink Initial commit of Rustboot-based OS, Soller, Jeremy (jackpot51), 20 April 2015, GitHub, GitHub, Inc., 17 January 2017, As of July 2021, the Redox repository had a total of 79 contributors.WEB,weblink Redox Repository, GitHub, 2016-03-26,

References

{{Reflist|50em}}

External links

{{Hobbyist operating systems}}{{Microkernel}}{{Unix}}

- content above as imported from Wikipedia
- "Redox (operating system)" does not exist on GetWiki (yet)
- time: 12:35am EDT - Sat, May 18 2024
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 23 MAY 2022
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
GETWIKI 20 AUG 2014
CONNECT