Redox OS - A system written in Rust - Installation and Concepts
It has a strong focus on security, stability and high performance.
Redox is a microkernel operating system similar to Unix written in the Rust programming language, which has a strong focus on security, stability and high performance.
Redox is inspired by previous kernels and operating systems, such as SeL4, MINIX, Plan 9 and BSD. It is similar to GNU and BSD, but it is written in Rust. It is free and open source software distributed under an MIT license.
Redox was created by Jeremy Soller and was first published on April 20, 2015 on GitHub.
Redox depends on a software ecosystem written in Rust by members of the project.
- Redox kernel - largely derived from the concept of microkernels, with strong 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 standard shell
- pkgutils - package manager
- Orbital window system - monitor and window manager, configure the orbital: schema, manage the display and handle requests for window creation, redesign and event search
- relibc - standard C library
Command line applications
Redox supports graphical user interface (GUI) programs, including:
- NetSurf - a lightweight browser that uses its own layout engine
- Calculator - a software calculator that 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 of files; uses the launcher command to open files when they are clicked
- Image viewer - image viewer for flat file types
- Pixelcannon - 3D renderer, can be used to compare the Orbital desktop
- Orbterm - ANSI terminal emulator
Official internet addresses
- Official address: https://www.redox-os.org/
- Current official repository: https://gitlab.redox-os.org/redox-os/redox/
There are 2 ways to install Redox OS:
- Compiling the source code, for this procedure see this link and this link also
- Or by downloading the binary
In both cases you can test the Redox OS:
On a physical machine Although it can work, the developers themselves still do not recommend it, because Redox is not yet ready for it
Or in a virtual machine, in this case, QEMU, which is exactly what we are going to do here.
Downloading the Redox OS
First we will download the compressed file in which there is the binary to run on our machine, there are 4 options for download, among them:
redox_0.6.0_harddrive-efi.bin.gz- As the name implies, it has EFI support and is not a LiveDisk
redox_0.6.0_harddrive.bin.gz- It is not LiveDisk and does not have EFI support
redox_0.6.0_livedisk-efi.iso.gz- It is a LiveDisk with EFI support
redox_0.6.0_livedisk.iso.gz- A LiveDisk without EFI support.
Choose what you think is most convenient for you, for this video I chose the second option:
redox_0.6.0_harddrive.bin.gz - It is not LiveDisk and does not have EFI support
As this is the best way to test, I believe. You can download it directly through the browser through this link or run this command:
After that just extract the
-koption is to keep the original file
Now let’s rename it to use a ready-made command offered by the Redox OS documentation:
All set, now let’s run Redox OS!
Testing the Redox OS
If you want to watch a video featuring all the resources provided in this article, watch the video below:
The video is in Brazilian Portuguese, but you can use subtitles and translate into your language.