9b1932db7f
Otherwise, rust recipe fails to download using curl: + python3 /mnt/redox/recipes/dev/rust/source/x.py install --config config.toml --jobs 32 downloading https://static.rust-lang.org/dist/2026-04-14/rust-std-beta-x86_64-unknown-linux-gnu.tar.xz running: curl --progress-bar --retry-all-errors --location \ --speed-time 30 --speed-limit 10 --connect-timeout 30 \ --output /tmp/nix-shell.LcAteo/tmpuv1ls9sy --continue-at - \ --retry 3 --show-error --remote-time --fail \ https://static.rust-lang.org/dist/2026-04-14/rust-std-beta-x86_64-unknown-linux-gnu.tar.xz curl: (60) SSL certificate OpenSSL verify result: unable to get local issuer certificate (20) More details here: https://curl.se/docs/sslcerts.html curl failed to verify the legitimacy of the server and therefore could not establish a secure connection to it. To learn more about this situation and how to fix it, please visit the webpage mentioned above. Warning: Problem (retrying all errors). Retrying in 1 second. 3 retries left. curl: (60) SSL certificate OpenSSL verify result: unable to get local issuer certificate (20) More details here: https://curl.se/docs/sslcerts.html |
||
|---|---|---|
| .cargo | ||
| .gitlab | ||
| bin | ||
| config | ||
| mk | ||
| podman | ||
| recipes | ||
| scripts | ||
| src | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| build.sh | ||
| Cargo.lock | ||
| Cargo.toml | ||
| CONTRIBUTING.md | ||
| flake.lock | ||
| flake.nix | ||
| HARDWARE.md | ||
| LICENSE | ||
| Makefile | ||
| native_bootstrap.sh | ||
| podman_bootstrap.sh | ||
| README.md | ||
| redox.ipxe | ||
| rust-toolchain.toml | ||
| TRADEMARK.md | ||
This repository is the Build System for Redox OS.
Redox is under active development by a vibrant community, you can see the key links below:
- The main website for Redox OS.
- The Redox Book and Build Instructions.
- Redox Chat and Support.
- Patreon, Donate and Merch.
- Scroll down for a list of key Redox components and their repositories.
Redox is an open-source operating system written in Rust, a language with focus on safety, efficiency and high performance. Redox uses a microkernel architecture, and aims to be reliable, secure, usable, correct, and free. Redox is inspired by previous operating systems, such as seL4, MINIX, Plan 9, Linux and BSD.
Redox is not just a kernel, it's a full-featured operating system, providing components (file system, display server, core utilities, etc.) that together make up a functional and convenient operating system. Redox uses the COSMIC desktop apps, and provides source code compatibility with many Rust, Linux and BSD programs.
More Links
- Book
- Contribute
- Hardware Compatibility
- Run Redox in a Virtual Machine or on Real Hardware
- Trying Out Redox
- Building Redox
- Build System Documentation
- Developer FAQ
- Chat/Discussions/Help
Ecosystem
Some of the key repositories on the Redox GitLab:
| Essential Repositories | Maintainer |
|---|---|
| Kernel | @jackpot51 |
| Base (essential system components and drivers) | @jackpot51 |
| RedoxFS (default filesystem) | @jackpot51 |
| relibc (C POSIX library written in Rust) | @jackpot51 |
| Ion (defauilt shell) | @jackpot51 |
| Termion (terminal library) | @jackpot51 |
| pkgutils (current package manager) | @jackpot51 |
| Orbital (display server and window manager) | @jackpot51 |
| This repo - the root of the Build System | @jackpot51 @hatred_45 |
| Redoxer (tool for easy Redox development on Linux) | @jackpot51 |
| The Redox Book | @jackpot51 @hatred_45 |
| Website | @jackpot51 @hatred_45 |
What it looks like
See Redox in Action for photos and videos.
