Redox is full fledged OS written in rust by Pop OS developer
https://github.com/redox-os/redox
In Fomos: Experimental OS, built with Rustredox-os
redox
Rust2015–2023
redox-os / redox
redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
41Distinct people
47Mentions
1Explicit recommenders
16.7KGitHub stars
What to know before exploring
What it is
Mirror of https://gitlab.redox-os.org/redox-os/redox
GitHub
Where it is used
No documented product use was verified in the last source check.
What people are saying
Author here. As steveklabnik says, I'm figuring this out as I go along, with much help from the amazing OSDev wiki: http://wiki.osdev.org/Main_Page Basically, this stuff is a…
ekidd used a recommendation phrase. One indexed comment matches. This is a phrase match, not a verdict.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
- servo/servo · linked in 2 of the same discussions
Mentioned in the same Hacker News threads. That is not proof they are substitutes.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 3:56:07 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year47 dated mentions
Observed mentions: 2015-10-03 12:55:39 UTC to 2023-08-30 04:00:00 UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2015 | 2015-01-01 00:00:00 UTC | 2016-01-01 00:00:00 UTC | 3 | 0 | 3 |
| 2016 | 2016-01-01 00:00:00 UTC | 2017-01-01 00:00:00 UTC | 12 | 3 | 9 |
| 2017 | 2017-01-01 00:00:00 UTC | 2018-01-01 00:00:00 UTC | 15 | 4 | 11 |
| 2018 | 2018-01-01 00:00:00 UTC | 2019-01-01 00:00:00 UTC | 10 | 4 | 6 |
| 2019 | 2019-01-01 00:00:00 UTC | 2020-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2020 | 2020-01-01 00:00:00 UTC | 2021-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2021 | 2021-01-01 00:00:00 UTC | 2022-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2022 | 2022-01-01 00:00:00 UTC | 2023-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2023 | 2023-01-01 00:00:00 UTC | 2024-01-01 00:00:00 UTC | 2 | 0 | 2 |
From the project README
An excerpt from the repository, fetched Nov 13, 2026.
Read the project’s introduction
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.
Read the full README on GitHubWhat Hacker News says
47 sourcesEven in the noncommercial world, Hurd's gone precisely nowhere. RedoxOS is a toy and had a GUI within a year or so. Brutal got in within two. SerenityOS not only built a GUI but the beginnings of the first greenfield web browser to gain any semblance of modern standards support in the past several decades.
Honestly, what's Hurd doing wrong to flounder so hard?
[0] https://github.com/redox-os/redox/releases/tag/0.0.3
[1] https://github.com/brutal-org/brutal/releases
[2] https://serenityos.org/happy/1st/
In Gnu/Hurd strikes back: How to use the legendary OS in a (somewhat) practical wayLooks like C++ to me [0]!
And my point is that when you mention OS-es like Mezzano (3k stars on Github, a dozen contributors [1]) and Redox (13k stars, 80 contributors [2]), but don't mention Serenity (18k stars, over 100 contributors [3] (Github limits this view to the top 100)) it seems funny.
In any case, it's your article and you can do what you'd like. I don't like people telling me I should change my articles.
[0] https://github.com/SerenityOS/serenity/tree/master/Kernel/Ar...
[1] https://github.com/froggey/Mezzano/graphs/contributors
[2] https://github.com/redox-os/redox/graphs/contributors
[3] https://github.com/SerenityOS/serenity/graphs/contributors
In The wild world of non-C operating systems>I wish opportunities had been around when I was learning to program.
And yet now, we have plenty of projects and nobody contributing.
https://github.com/redox-os/redox/graphs/contributors
This graph doesn't look so healthy. Projects with one major contributor tend to die the moment that contributor loses interest.
Which leads me to wonder, if rust is so popular, and this is one of the most relevant rust projects in the wild, why is this essentially a single contributor repo? Linus didn't write Linux by himself. Redox is never going to happen with a single developer.
Doesn't anyone want a memory safe OS and micro kernel? What does this say about the demand for memory safe systems languages?
In Porting QEMU to RedoxOSIn addition to Plan9 and the BSDs, which are Unixy and relatively familiar if you're coming from Linux/macOS, you could also checkout Haiku [0], which is quite different and descends from BeOS.
If you have an old TI calculator and want to try something other than a desktop OS, you could try out KnightOS[1].
As Shared404 mentioned, a Unix-inspired but quite new OS is Redox[2], which is written in Rust. Haven't used it at all, but it sounds like an interesting project.
[0] https://www.haiku-os.org/
[1] https://github.com/KnightOS/KnightOS
[2] https://github.com/redox-os/redox
In New Interesting Operating Systems?Recognized the username. Blown away that the same person leading Redox-OS[0] is also in a leadership role at System76!!!
[0] https://github.com/redox-os/redox/graphs/contributors
In System76 Will Ship Linux Laptops With Coreboot-Based Open-Source FirmwareOff topic but it's quite interesting to see that on HN, a great amount of the comments of a GO post talk about Rust, and vice versa.
As a system guy, I am also happy to follow two OS projects in these two:
[1] https://github.com/mit-pdos/biscuit
[2] https://github.com/redox-os/redox
In Go 2018 Survey ResultsProduction ready means different things to diff people, and I don't know how many people use it in Prod, but have you looked at redox:
https://github.com/redox-os/redox
In The benefits and costs of writing a POSIX kernel in a high-level languageTicki was an active member of the Rust community, whose contribution was energetically and cheerfully campaigning for ambitious features. Sometimes perhaps a little too ambitious, but that's a useful kind of person to have in a community.
For example, Ticki wrote an early proposal for type-level integers, which everyone knows Rust needs eventually, but hadn't been able to work up a concrete proposal for:
https://github.com/ticki/rfcs/blob/pi-types/text/0000-pi-typ...
Outside the core project, Ticki was involved with RedoxOS, an OS written in Rust:
https://github.com/redox-os/redox#-ecosystem-
Particularly the TFS filesystem:
https://github.com/redox-os/tfs
TFS naver came to fruition, so RedoxOS still runs on its original filesystem, RedoxFS.
Why is this important? It isn't, any more so than the other 29 things currently on the front page!
In Why I'm leaving Open SourceExactly, the security in legacy systems is non-existent. I've been pretty pleased moving systems to the nerves-project [1] (which like GoKrazy has an A/B root file-system) to replace deprecated and ancient firmware systems. One of those setups required a Windows XP machine to flash the particular MCU that's obsolete now, a huge pain. It was almost impossible to update / patch.
Nerves is based on a Buildroot core but most of the system is built with Elixir and BEAM/OTP. It's fantastic having a high level language built for robustness and reasonable security. Still, I have dreams of porting BEAM to Redox OS one day [2] and replacing the C userland-bits with Rust-bits. Especially if you could represent the micro-kernel services as actors. That would be amazing!
1: https://nerves-project.org/
2: https://github.com/redox-os/redox
In Gokrazy: A pure-Go userland for Raspberry Pi 3 appliancesRedox OS 0.3.5 – New Network Stack
2 points · Open discussionRedox OS Release 0.3.5 – New Network Stack
15 points · Open discussionThis particular series is more of a toy OS for learning purposes (and through which they can teach things). At least, that's my impression of it.
Redox (https://github.com/redox-os/redox) is a Rust OS project that's aiming to actually be a usable consumer OS.
In Writing an OS in Rust, Second EditionHere is the "Redox Crash Challenge":
https://github.com/redox-os/redox/issues/1136
According to the Redox book, at last count they had 70 cases of unsafe across 4500 total lines of kernel code.
https://doc.redox-os.org/book/introduction/unsafes.html
In Google’s Fuchsia OS on the PixelbookShowing the 15 most recent of 47 sources. Enable JavaScript to search and browse every indexed mention.