Jump to content

Redox (operating system): Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.3) (Whoop whoop pull up - 13006
add x86-64 os category
 
(10 intermediate revisions by 10 users not shown)
Line 1: Line 1:
{{Short description|Operating system written in Rust}}
{{Short description|Operating system written with the Rust programming language}}
{{primary sources|date=July 2019}}
{{primary sources|date=July 2019}}
{{Infobox OS
{{Infobox OS
Line 14: Line 14:
| latest release version = <!-- Leave empty until a production-ready release, e.g., version 1.0 or equivalent. -->
| latest release version = <!-- Leave empty until a production-ready release, e.g., version 1.0 or equivalent. -->
| latest release date = <!-- {{Start date and age|2020|MM|DD|df=yes}} -->
| latest release date = <!-- {{Start date and age|2020|MM|DD|df=yes}} -->
| latest preview version = 0.8.0
| latest preview version = 0.9.0
| latest preview date = {{Start date and age|2022|11|24|df=yes}}
| latest preview date = {{Start date and age|2024|9|9|df=yes}}
| marketing target = [[Desktop computer|Desktop]], [[workstation]], [[Server (computing)|server]]
| marketing target = [[Desktop computer|Desktop]], [[workstation]], [[Server (computing)|server]]
| language = English
| language = English
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>.
'''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 [[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]].
{{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 [[kernel (operating system)|kernels]] and operating systems, such as [[L4 microkernel family#High assurance: seL4|SeL4]], [[MINIX]], [[Plan 9 from Bell Labs|Plan 9]], [[Berkeley Software Distribution|BSD]], and [[Linux]]. 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]].
Redox gets its name from the [[Redox|reduction-oxidation reactions]] in chemistry; one redox reaction is the corrosion of iron, also called [[rust]].
Line 34: Line 34:
== Design ==
== Design ==
The Redox operating system is designed to be secure.<ref name="HomeWeb" /> This is reflected in two design decisions:
The Redox operating system is designed to be secure.<ref name="HomeWeb" /> This is reflected in two design decisions:
# Using the programming language [[Rust (programming language)|Rust]] for implementation
# Using the [[programming language]] [[Rust (programming language)|Rust]] for implementation
# Using a [[microkernel]] design, similar to [[MINIX]]
# Using a [[microkernel]] design, similar to [[MINIX]]


Line 42: Line 42:
* Redox kernel – derives from the concept of microkernels, with inspiration from [[MINIX]]
* Redox kernel – derives from the concept of microkernels, with inspiration from [[MINIX]]
* Ralloc – memory allocator
* Ralloc – memory allocator
* [[TFS file system]] – inspired by the [[ZFS]] [[file system]]
* RedoxFS file system – inspired by the [[ZFS]] [[file system]]
* Ion shell – the underlying library for shells and command execution in Redox, and the default shell
* Ion shell – the underlying [[computer library|library]] for [[Shell (computing)|shells]] and command execution in Redox, and the default shell
* pkgutils – package manager
* 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
* 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
* relibc – [[C standard library]]


== Command-line applications ==
== Command-line applications ==
Redox supports [[command-line interface]] (CLI) programs, including:
Redox supports [[command-line interface]] (CLI) programs, including:
* Sodium – [[vi]]-like editor that provides syntax highlighting
* Sodium – [[Vi (text editor)|vi]]-like editor that provides syntax highlighting
* Rusthello – advanced [[Reversi]] [[Artificial intelligence in video games|AI]]; is highly [[Concurrency (computer science)|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 ==
== Graphical applications ==
Line 64: Line 63:


== History ==
== History ==
Redox was created by Jeremy Soller and was first published on 20 April 2015 on [[GitHub]].<ref>{{cite web|url=https://github.com/redox-os/redox/commit/0edea108a1d8112b3aa4e8ae7b3d8d41c5d0ed85|title=Initial commit of Rustboot-based OS|last=Soller|first=Jeremy (jackpot51)|date=20 April 2015|website=GitHub|publisher=GitHub, Inc.|access-date=17 January 2017}}</ref> As of July 2021, the Redox repository had a total of 79 contributors.<ref>{{Cite web|url=https://github.com/redox-os/redox|title=Redox Repository|website=GitHub|access-date=2016-03-26}}</ref>
Redox was created by Jeremy Soller and was first published on 20 April 2015 on [[GitHub]].<ref>{{cite web|url=https://github.com/redox-os/redox/commit/0edea108a1d8112b3aa4e8ae7b3d8d41c5d0ed85|title=Initial commit of Rustboot-based OS|last=Soller|first=Jeremy (jackpot51)|date=20 April 2015|website=GitHub|publisher=GitHub, Inc.|access-date=17 January 2017}}</ref> As of September 2024, the Redox repository had a total of 97 contributors.<ref>{{Cite web|url=https://github.com/redox-os/redox|title=Redox Repository|website=GitHub|access-date=2016-03-26}}</ref>

==See also==
* [[Rust for Linux]]
* [[LynxOS]]


==References==
==References==
Line 85: Line 88:
[[Category:Software using the MIT license]]
[[Category:Software using the MIT license]]
[[Category:Unix variants]]
[[Category:Unix variants]]
[[Category:X86-64 operating systems]]

Latest revision as of 09:34, 20 October 2024

Redox
Redox running Ion shell in Orbital windowing system
DeveloperJeremy Soller,
Redox Developers[1]
Written inRust, assembly
OS familyUnix-like
Working stateCurrent
Source modelFree software
Initial release20 April 2015; 9 years ago (2015-04-20)
Latest preview0.9.0 / 9 September 2024; 2 months ago (2024-09-09)
Repository
Marketing targetDesktop, workstation, server
Available inEnglish
Package managerpkgutils
Platformsx86-64; ARM64 in development[2]
Kernel typeMicrokernel
UserlandCustom
Influenced byPOSIX[3]
Default
user interface		Command-line, Orbital
LicenseMIT
Official websitewww.redox-os.org

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, BSD, and Linux. 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

[edit]

The Redox operating system is designed to be secure.[4] This is reflected in two design decisions:

  1. Using the programming language Rust for implementation
  2. Using a microkernel design, similar to MINIX

Components

[edit]

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
  • RedoxFS 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

[edit]

Redox supports command-line interface (CLI) programs, including:

  • Sodium – vi-like editor that provides syntax highlighting

Graphical applications

[edit]

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

History

[edit]

Redox was created by Jeremy Soller and was first published on 20 April 2015 on GitHub.[7] As of September 2024, the Redox repository had a total of 97 contributors.[8]

See also

[edit]

References

[edit]
  1. ^ "Redox Contributors". GitLab. Retrieved 24 March 2019.
  2. ^ "Porting Redox to ARM (AArch64)". 6 August 2018.
  3. ^ "What is Redox?". Archived from the original on 24 May 2020. Retrieved 16 May 2020.
  4. ^ a b "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. ^ 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)
  8. ^ "Redox Repository". GitHub. Retrieved 2016-03-26.
[edit]
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Redox_(operating_system)&oldid=1252209242"