* Servo on Redox Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. October was a very exciting month for Redox! Here’s all the latest news. ## Donate to Redox If you would like to support Redox, please consider donating or buying some merch! * Donate * Patreon * Merch ## Flexible Device Detection Jeremy Soller has improved the upcoming `hwd` daemon to detect and configure either ACPI or DeviceTree computers. This addresses some of our problems with DeviceTree computers, and improves the ARM64 and RISC-V hardware support.

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. September was a very exciting month for Redox! Here’s all the latest news. ## Donate to Redox If you would like to support Redox, please consider donating or buying some merch! * Donate * Patreon * Merch ## RustConf Presentation Jeremy Soller presented “10 Years of Rust and Redox” at RustConf this year, with some great stories about the history of Redox, and some awesome insights into Redox’s future. Jeremy’s talk was one of the Marquee presentations, on the main stage to all RustConf attendees. Many people felt it was one of the most enjoyable and informative sessions at the conference. Grab some popcorn and enjoy an entertaining presentation with a surprise ending!

Redox has made great strides over the past year, with notable improvements in stability, performance, and compatibility. To give a big-picture perspective for where Redox development is headed, here is our view of priorities as of September, 2025. Obviously, we can’t finish everything on this list in the next 15 months, but it would be nice to have people working on as many of these things as possible. ### Redox Variants * “Hosted Redox” as a Web Services Runtime, in a Virtual Machine * “Redox Server” for Edge and Cloud * “Redox Desktop” for your daily driver ### Development Priorities * Building Redox on Redox * Compliance and Compatibility * Programming Language and Build System Support * Performance * Security * Hardware Support * COSMIC, Wayland, and GPU Acceleration * Accessibility ## How can you help? Here are some ways you can help us move Redox closer to our goals.

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. August was a very exciting month for Redox! Here’s all the latest news. * COSMIC Reader running on Redox ## Donate to Redox If you would like to support Redox, please consider donating or buying some merch! * Donate * Patreon * Merch ## RustConf 2025 Jeremy will be presenting at RustConf 2025 in Seattle! Jeremy Soller, the creator of Redox, will be presenting 10 Years of Redox and Rust. His presentation is on Thursday, September 4 at 10:55am.

Hi everyone! I’m Ibuki Omatsu, and as part of my RSoC project, I’ve worked on implementing Unix Domain Sockets (UDS) in Redox OS. Following that, I also worked on implementing bulk file descriptor (FD) passing and separating file tables. In this post, first, I will talk about updates of the UDS implementation, and then I will explain bulk FD passing and the separation of file tables. # Unix Domain Socket First, let’s talk about Unix Domain Sockets (UDS).

(A screenshot of the kernel debugger GUI from Wildan Mubarok) Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. July was a very exciting month for Redox! Here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch Redox is hiring! Redox is seeking an OS/kernel developer, paid through a combination of grants and contract work.

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. June was a very exciting month for Redox! Here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch NLnet/NGI Zero Grants! Redox has been awarded two new grants by the NGI Zero Commons fund and NLnet Foundation. Capability-based security for Redox is our first step to supporting Capabilities as the underlying mechanism for file descriptors.

Hello everyone! I’m Ibuki Omatsu, and as part of my RSoC project, I’m currently working on implementing Unix Domain Sockets (UDS) in Redox OS. UDS are a way for processes on the same machine to communicate with each other. They’re similar to network sockets, but instead of using IP addresses and ports, they use the filesystem as their connection addressing. This allows for faster communication between processes, as there is no need to go through the network stack.

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. May was a very exciting month for Redox! Here’s all the latest news. GTK 3 Demo running on Redox Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch Redox is hiring! Redox is seeking an OS/kernel developer, based in the EU, for a one year position, paid through a combination of grants and contract work, with the possibility of additional work to follow.

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. April was a very exciting month for Redox! Here’s all the latest news. (FreeCiv running on Redox) Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch Redox Summer of Code It’s that time of year again - Redox Summer of Code (RSoC) has engaged two students and one recent graduate for some exciting projects.

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. March was a very exciting month for Redox! Here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch RSoC 2025 It’s that time of year again! Redox Summer of Code is now open for applications! We have funding for one or two people to work on some of our priorities.

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. February was a very exciting month for Redox! Here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch FOSDEM 2025 FOSDEM 2025 took place in Brussels on Feb. 1 and 2. Kernel maintainer Jacob Lorentzon (@4lDO2) presented his project Redox OS Unix-Style Signals, which is being funded by a grant from NLnet as part of NGI Zero Core.

I am sure you would have wondered what exactly happens when you execute a program like grep or COSMIC Terminal. How exactly does the system load and execute that program? How does Redox differ from Linux in how programs are loaded? For my Redox Summer of Code project, my task was to fix and improve the Redox’s dynamic linker, add dynamic linking support to the Redox’s build system and port several packages to be dynamically linked!

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. January was a very exciting month for Redox! Here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch Dynamic Linking Thanks to Anhad Singh for his amazing work on Dynamic Linking! In this southern-hemisphere-Redox-Summer-of-Code project, Anhad has implemented dynamic linking as the default build method for many recipes, and all new porting can use dynamic linking with relatively little effort.

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. December was a very exciting month for Redox! Here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch FOSDEM 2025 Jacob Lorentzon (4lDO2) will be presenting his work on Redox Signals in the Microkernels room February 1 at FOSDEM in Brussels. He will also do a short introductory presentation in the Kernel room on February 2.

Hello everyone! I am Anhad Singh and I am currently working on Redox’s dynamic linker and porting programs to be dynamically linked as a part of my RsoC project. At the time of writing this post, all upstream recipes currently are statically compiled and patches are being gradually rolled out. Basically, dynamic linking allows a program to use external symbols, such as those in shared libraries like libc, without actually including them in the program’s executable.

The Redox team has received a grant from NLnet to develop Redox OS Unix-style Signals, moving the bulk of signal management to userspace, and making signals more consistent with the POSIX concepts of signaling for processes and threads. It also includes Process Lifecycle and Process Management aspects. As a part of that project, we are developing tests to verify that the new functionality is in reasonable compliance with the POSIX.1-2024 standard.

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. November was a very exciting month for Redox! Here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Use code REDOX2025 at checkout for 15% off (it comes out of Redox’s share of the profit, so consider not using the code if you are only buying one item).

Redox OS is a Unix-like general-purpose microkernel-based operating system written in Rust. October was a very exciting month for Redox! Here’s all the latest news. Support Redox - Merch Sale A very early Season’s Greetings! Redox Merch is on sale! 15% off everything at our Merch store when you use the discount code “REDOX2025” during checkout. T-Shirts, Hoodies and Mugs, all with the Redox logo. Look for the field labelled “Promo Code”, enter REDOX2025, and press “Apply”.

September was a very exciting month for Redox! Here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch Release 0.9.0 For those of you that missed it, Redox 0.9.0 was released earlier this month! With numerous improvements and important additions, it represents another huge step forward for Redox! You can read all about it in the Release notes

Overview It’s been quite a while since we had our last release, but we have been heads-down working hard this whole time, and Release 0.9.0 is packed with new features, improvements, bug fixes and cleanup. We would like to thank all maintainers and contributors whose hard work has made this release possible. Here are just a few of the highlights! Much improved process/thread lifecycle and signaling, thanks to funding from NLnet Massive performance and stability improvements Now featuring COSMIC Files, Editor and Terminal from the COSMIC Desktop!

August was pretty exciting for Redox, here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch Massive Performance Improvement On Virtual Machines Thanks to the recent kernel profilling implementation, 4lDO2 discovered that a huge bottleneck in the context switching code, was simply reading the system time. That involves reading hardware registers from the HPET, which although reasonably fast on real hardware, is particularly slow on VMs as it requires expensive VM exits.

July was a very exciting month for Redox! Here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch Servo and Redox Proposal for NGI Sargasso Servo and Redox have partnered for a joint application for funding by NGI Sargasso! The proposed project includes porting SpiderMonkey and WebRender to Redox, improvements to Servo’s cross-compilation support, and a written-in-Rust font stack.

Introduction I’m very exited to announce that Redox has been selected as one of the 45 projects receiving new NGI Zero grants, with me as primary developer for Redox’s POSIX signals project! The goal of this project it to implement proper POSIX signal handling and process management, and to do this in userspace to the largest reasonable extent. This grant is obviously highly beneficial for Redox, and will allow me to dedicate significantly more time to work on the Redox kernel and related components for one year.

June was a very exciting month for Redox! Here’s all the latest news. Donate to Redox If you would like to support Redox, please consider donating or buying some merch! Donate Patreon Merch Funding! NLnet NGI Zero Core We are very excited to announce that the NGI Zero Core program from the NLnet Foundation will be funding our project Redox OS Unix-style Signals. Redox currently has a basic implementation of Signals, but this project will allow us to move most of signals code out of the kernel into user-space, and bring us much closer to POSIX compliance.