This Year in Redox

By Ticki on


Back in 2009, Jackpot51 wrote SollerOS, which was a tiny operating system which was simply a hobby project of his to learn OS development. It was a tiny kernel written in Assembly, which could print text to the screen.

SollerOS is, in a sense, the precursor to Redox, as it was where the ideas (most of which were never implemented in SollerOS) fundamental to Redox would pop up.

In April 2015, Jackpot51 wrote the first commit of Redox OS.

A lot of time then passed with varying development, and in September 2015, I (Ticki) discovered the project.

The story is a bit odd. I was searching for a name of my project and then found this very neat incomplete OS project. I was instantly hooked with the idea, and I posted it to Reddit.

Only two days after, the project had gained several hundreds of stars and it reached the front-page of /r/programming, Slashdot, and HackerNews.

Quite a few people were interested in contributing, including myself. So we created an IRC channel.

There were quickly several contributors, such as stratact (who is still with us today), tedsta, ambaxter, and many more.

State of the project

Today, we have a pretty mature project. It contains many core, usable components. It is already usable, but it is still not mature yet to be used as a replacement for Linux (like BSD is), but we’re slowly getting there.

The kernel was rewritten, a memory allocator was added, rendering libc out of the dependency chain, several applications were added, a file system were added, a window manager and display server was implemented, and so on.

Today, Redox looks like this:

Basically every component is written in Rust in order to ensure correctness and memory safety of the program (and of course so it’s 10x Turing hipster webscale).

The last few months

The last few months contains several additions:

Since the last news blog post, some other things have happened as well:



So I’ve been working on TFS. Several new things have been developed since the last post.

I created SeaHash, a new non-cryptographic hash function with excellent performance.

I created MLCR, machine learning based caching.

Furthermore, I implemented ADG dependency write caching.


Jeremy rewrote the kernel with emphasis on correctness. This makes us much better off than previously, where the kernel had major flaws.

The kernel, while not perfect, is looking more complete and robust.

You can read more about the implementation efforts here.


I rewrote Ralloc, the memory allocator, to be based on specialized skip lists, yielding a more performant allocator.

These efforts are still incomplete and they’re not enabled by default yet.

Other fun

Lots of small things have happened as well, including a full translation of the website, refactoring a lot of things, designing logos, etc.


As said above, Jeremy quit his job to work full-time on Redox. Therefore, funding is crucial.

Even small amounts of money can do a big difference. Please consider supporting us on Patreon.

We are also looking into a more long-term solution such as funding from a university or something like Mozilla Research.

News Coverage

Finally, Redox has been covered in a number of news articles:

If you know of others, please create an issue at our website repo.

Here is a composite image: