I hadn’t heard of this one before. Maybe I’ll slap it into a VM to see what it is all about.
Their marketing is terrible, though. On almost every page of the documentation you see “It is written in Rust!” How geeky can you get?
The normal user doesn’t give a rodent’s posterior if an OS was written in Assembly, Rust, or Babylonian incantations. The question is “what will it do for me that the other ones don’t?”
Like it or not, this is actually the main point of Redox.
Genode is based largely on L4-series microkernels. If a device driver is closed-source and runs in supervisor mode, you’d never be able to detect any of the nefarious activity it could be doing. It has access to every kernel function and every corner of the memory map. Since Redox is designed to be a Linux kernel competitor on servers and workstations, security is too important to leave to chance.
Part of me wonders whether the desire to see it succeed might have to do with its different licencing terms to Linux - MIT rather than the GPL. As far as I can tell, this (as well as the language) is the distinguishing feature between Redox and HURD, another microkernel to replace Linux as the core of the GNU system. Hurd of course stands for Hurd of Unix Replacing Daemons.
Actually the licencing is one of the things I like about Genode (AGPL licence). Whilst I used to be in favour of those very minimalist licences like BSD, my preference has in recent years changed more towards the more aggressively copyleft licencing. In fact I think licences should place more restrictions over the use that software is subsequently put to, but that is debate for another thread.
The second Sculpt release of the year arrived at the end of October ready to give us all something (else) to play with over the winter.
The big news is the arrival of the new configuration script to replace XML.
ReactOS tries to be a Windows 2000 (or Win7+) replacement based greatly on Wine code but it’s hardware support is poor (BSOD still happen, their sound support is still experimental and they just started to implement WDDM drivers).
A more fair comparison is between POSIX compatible systems …so Redox and Haiku. Redox is behind on some aspects like Wayland, development frameworks and ported software but it’s more advanced on security (they have a login screen) and on Arm port if i remember correctly.
More info about their priorities can be found here Development Priorities for 2025/26 - Redox - Your Next(Gen) OS
Ummm… either your post needed to be in a different thread or was it supposed to be a reply to a previous post? It doesn’t mention Genode or the L4 microkernels Genode is based on. (I’ve been inactive for a while and just got around to reading this just now.)
Edit: 2 posts back reply?