Redox (operating system): Difference between revisions

Redox
	Redox running Ion shell in Orbital windowing system
Developer	Jeremy Soller,; Redox Developers
Written in	Rust, assembly
OS family	Unix-like
Working state	Current
Source model	Free software
Initial release	20 April 2015; 9 years ago
Latest preview	0.8.0 / 24 November 2022; 23 months ago
Repository	gitlab.redox-os.org/redox-os/redox ;
Marketing target	Desktop, workstation, server
Available in	English
Package manager	pkgutils
Platforms	x86-64; ARM64 in development
Kernel type	Microkernel
Userland	Custom
Influenced by	POSIX
Default; user interface	Command-line, Orbital
License	MIT
Official website	www.redox-os.org

Browse history interactively

← Previous edit Next edit →

Content deleted Content added

VisualWikitext

Inline

Revision as of 02:52, 29 March 2023

Redox is a Unix-like microkernel operating system written in the programming language Rust, which has a focus on safety, stability, and performance.^[4]^[5]^[6] Redox aims to be secure, usable, and free. Redox is inspired by prior kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD. It is similar to Linux and BSD, but is written in a memory-safe language.^[7] 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.^[4] This is reflected in two design decisions:

Using the programming language Rust for implementation
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
Rusthello – advanced Reversi AI; is highly concurrent, serving as proof of Redox's multithreading abilities; supports various AI strategies, such as brute forcing, minimax, local optimizations, and hybrid AIs

Graphical applications

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

NetSurf – a lightweight web browser which uses its own layout engine
Calculator – a software calculator which provides functions similar to the Windows Calculator program
Editor – simple text editor, similar to Microsoft Notepad
File Browser – a file manager that displays icons, names, sizes, and details for files; uses the launcher command to open files when they are clicked
Image Viewer – Image viewer for simple file types
Pixelcannon – 3D renderer, can be used to benchmark the Orbital desktop
Orbterm – ANSI type terminal emulator

History

Redox was created by Jeremy Soller and was first published on 20 April 2015 on GitHub.^[8] As of July 2021, the Redox repository had a total of 79 contributors.^[9]

References

^ "Redox Contributors". GitLab. Retrieved 24 March 2019.
^ "Porting Redox to ARM (AArch64)". 6 August 2018.
^ "What is Redox?". Retrieved 16 May 2020.
^ ^a ^b "Redox - Your Next(Gen) OS - Redox - Your Next(Gen) OS". www.redox-os.org.
^ Weisinger, Dick (4 May 2016). "Operating Systems: Rust Redox – An Next-Generation Attempt to Plug Linux OS Gaps". Formtek. Formtek, Inc. Retrieved 17 January 2017.
^ . Yegulalp, Serdar (21 March 2016). "Rust's Redox OS could show Linux a few new tricks". InfoWorld. San Francisco: IDG Communications, Inc. Retrieved 17 January 2017.
^ "redox-os/redox". May 12, 2021 – via GitHub.
^ Soller, Jeremy (jackpot51) (20 April 2015). "Initial commit of Rustboot-based OS". GitHub. GitHub, Inc. Retrieved 17 January 2017.{{cite web}}: CS1 maint: numeric names: authors list (link)
^ "Redox Repository". GitHub. Retrieved 2016-03-26.

External links

[1] "Redox Contributors". GitLab. Retrieved 24 March 2019.

[Redox_ARM-2] "Porting Redox to ARM (AArch64)". 6 August 2018.

[3] "What is Redox?". Retrieved 16 May 2020.

[HomeWeb-4] "Redox - Your Next(Gen) OS - Redox - Your Next(Gen) OS". www.redox-os.org.

[5] Weisinger, Dick (4 May 2016). "Operating Systems: Rust Redox – An Next-Generation Attempt to Plug Linux OS Gaps". Formtek. Formtek, Inc. Retrieved 17 January 2017.

[6] . Yegulalp, Serdar (21 March 2016). "Rust's Redox OS could show Linux a few new tricks". InfoWorld. San Francisco: IDG Communications, Inc. Retrieved 17 January 2017.

[7] "redox-os/redox". May 12, 2021 – via GitHub.

[8] Soller, Jeremy (jackpot51) (20 April 2015). "Initial commit of Rustboot-based OS". GitHub. GitHub, Inc. Retrieved 17 January 2017.{{cite web}}: CS1 maint: numeric names: authors list (link)

[9] "Redox Repository". GitHub. Retrieved 2016-03-26.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 28: / Line 28: @@
 '''Redox''' is a [[Unix-like]] [[microkernel]] [[operating system]] written in the programming language [[Rust (programming language)|Rust]], which has a focus on safety, stability, and performance.<ref name="HomeWeb">{{Cite web|url=https://www.redox-os.org/|title=Redox - Your Next(Gen) OS - Redox - Your Next(Gen) OS|website=www.redox-os.org}}</ref><ref>{{cite web|url=http://formtek.com/blog/operating-systems-rust-redox-an-next-generation-attempt-to-plug-linux-os-gaps/|title=Operating Systems: Rust Redox – An Next-Generation Attempt to Plug Linux OS Gaps|last=Weisinger|first=Dick|date=4 May 2016 |website=Formtek|publisher=Formtek, Inc.|access-date=17 January 2017}}</ref><ref>.
-{{cite news|last=Yegulalp|first=Serdar|date=21 March 2016|title=Rust's Redox OS could show Linux a few new tricks|url=http://www.infoworld.com/article/3046100/open-source-tools/rusts-redox-os-could-show-linux-a-few-new-tricks.html|newspaper=InfoWorld|publisher=IDG Communications, Inc.|location=San Francisco|access-date=17 January 2017}}</ref> 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 from Bell Labs|Plan 9]], and [[Berkeley Software Distribution|BSD]]. It is similar to [[GNU]] and BSD, but is written in a memory-safe language.<ref>{{Cite web|url=https://github.com/redox-os/redox|title=redox-os/redox|date=May 12, 2021|via=GitHub}}</ref> It is [[free and open-source software]] distributed under an [[MIT License]].
+{{cite news|last=Yegulalp|first=Serdar|date=21 March 2016|title=Rust's Redox OS could show Linux a few new tricks|url=http://www.infoworld.com/article/3046100/open-source-tools/rusts-redox-os-could-show-linux-a-few-new-tricks.html|newspaper=InfoWorld|publisher=IDG Communications, Inc.|location=San Francisco|access-date=17 January 2017}}</ref> 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 from Bell Labs|Plan 9]], and [[Berkeley Software Distribution|BSD]]. It is similar to [[Linux]] and BSD, but is written in a memory-safe language.<ref>{{Cite web|url=https://github.com/redox-os/redox|title=redox-os/redox|date=May 12, 2021|via=GitHub}}</ref> It is [[free and open-source software]] distributed under an [[MIT License]].
 Redox gets its name from the [[Redox|reduction-oxidation reactions]] in chemistry; one redox reaction is the corrosion of iron, also called [[rust]].