|Number of watchers on Github||9251|
|Number of open issues||167|
|Average time to close an issue||14 days|
|Average time to merge a PR||about 9 hours|
|Open pull requests||16+|
|Closed pull requests||30+|
|Last commit||over 2 years ago|
|Repo Created||about 5 years ago|
|Repo Last Updated||over 2 years ago|
|Organization / Author||redox-os|
|Do you use redox? Leave a review!|
|View open issues (167)|
|View redox activity|
|View on github|
|Fresh, new opensource launches 🚀🚀🚀|
Software engineers: It's time to get promoted. Starting NOW! Subscribe to my mailing list and I will equip you with tools, tips and actionable advice to grow in your career.
Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to be secure, usable, and free. Redox is inspired by previous kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD.
Redox is not just a kernel, it's a full-featured Operating System, providing packages (memory allocator, file system, display manager, core utilities, etc.) that together make up a functional and convenient operating system. You can loosely think of it as the GNU or BSD ecosystem, but in a memory safe language and with modern technology. See this list for overview of the ecosystem.
The website can be found at https://www.redox-os.org.
Please make sure you use the latest nightly of
rustc before building (for more troubleshooting, see
Help! Redox won't compile!).
The ecosystem and software Redox OS provides is listed below.
|Name (lexicographic order)||Maintainer|
|acid (kernel integration tests)||@jackpot51 (co.: @ticki, **@nilset)|
|bots (custom Mattermost bots)||@ticki|
|coreutils||@ticki (co.: @stratact)|
|Ion (shell)||@skylerberg & @jackpot51|
|orbclient (Orbital client)||@jackpot51|
|orbgame (Orbital 2D game engine)||@FloVanGH|
|Orbital (windowing and compositing system)||@jackpot51|
|orbtk (Orbital toolkit)||@stratact|
|orbutils (Orbital utilities)||@jackpot51|
|pkgutils (current package manager)||@jackpot51|
|playbot (internal REPL bot)||@ticki|
|RANSID (Rust ANSI driver)||@jackpot51|
|redoxfs (old filesystem)||@jackpot51|
|Sodium (Vim-inspired text editor)||@ticki|
|TFS (ticki filesystem)||@ticki|
|The Redox book||@ticki|
|libstd||abandoned, Rust's official libstd is now used|
|The old kernel||abandoned|
|ZFS||abandoned, superseded by TFS|
Sometimes things go wrong when compiling. Try the following before opening an issue:
https://static.redox-os.org/toolchain/apt/) or build redox-os/libc manually.
make clean pull.
git remote add upstream email@example.com:redox-os/redox.git; git pull upstream master).
git submodule update --recursive --init).
and then rebuild!
If you're interested in this project, and you'd like to help us out, here is a list of ways you can do just that.
Redox is big, even compressed. Downloading the full history may take a lot of bandwidth, and can even be costly on some data plans. Clone at your own risk!
$ cd path/to/your/projects/folder/ # Run bootstrap setup $ curl -sf https://raw.githubusercontent.com/redox-os/redox/master/bootstrap.sh -o bootstrap.sh && bash -e bootstrap.sh #Change to project directory $ cd redox # Build Redox $ make all # Launch using QEMU $ make qemu # Launch using QEMU without using KVM (Kernel-based Virtual Machine). Try if QEMU gives an error. $ make qemu kvm=no
To use QEMU with KVM (Kernel-based Virtual Machine), which is faster than without KVM, you need a CPU with Intel Virtualization Technology (Intel VT) or AMD Virtualization (AMD-V) support. Most systems have this disabled by default, so you may need to reboot, go into the BIOS, and enable it.
To manually clone, build and run Redox using a Unix-based host, run the following commands (with exceptions, be sure to read the comments):
$ cd path/to/your/projects/folder/ # HTTPS $ git clone https://github.com/redox-os/redox.git --origin upstream --recursive # SSH $ git clone firstname.lastname@example.org:redox-os/redox.git --origin upstream --recursive $ cd redox/ # Install/update dependencies $ ./bootstrap.sh -d # Install rustup.rs $ curl https://sh.rustup.rs -sSf | sh # Install the sysroot manager Xargo $ cargo install xargo # For successive builds start here. If this is your first build, just continue # Update git submodules $ git submodule update --recursive --init # Build Redox $ make all # Launch using QEMU $ make qemu # Launch using QEMU without using KVM (Kernel-based Virtual Machine). Try if QEMU gives an error. $ make qemu kvm=no # Launch using QEMU without using KVM (Kernel-based Virtual Machine) nor Graphics make qemu kvm=no vga=no
We also provide docker image. After cloning this repository, please follow README under the
To update the codebase run:
make pull; make fetch
make pull pulls and updates the submodules, and
make fetch updates the sources for cookbook recipes.
This release focuses on changes to RedoxFS, the bootloader, and the kernel to enable filesystem UUIDs.
The basic logic is this:
This was particularly important for the installation of Redox.
This release brings much lower memory usage with ISO - 480 MB instead of 1300 MB. There are also other bug fixes, features, and improvements.
VirtualBox with Intel PRO/1000 Ethernet will be the most feature-complete experience. Only 64-bit x86 systems are supported. Give the VM at least 1 GB of RAM for the best results. The default username is
user with an empty password. There is also a
root user with a password of
If you are interested in joining our chat, send an email to info at redox-os.org.
If you would like to donate, you can do so here