Redox OS keeps making steady gains. The Rust-written microkernel system posted its monthly progress report at the end of June, revealing a range of fixes, ports and structural changes. Contributors pushed forward on desktop usability, security features and server-side ambitions. And the momentum shows no sign of slowing.
Phoronix covered the highlights just days ago. The report points to fresh GTK 3 integration for the Orbital desktop environment, fractional scaling support and initial USB gamepad handling. Those additions arrive alongside a significant funding win from European grant programs. Phoronix noted the grant will bankroll work on virtualized Redox instances aimed at web servers and microservices.
The official update comes straight from the project. Ribbon and Ron Williams authored the June 30 summary on the Redox site. They describe the month as exciting. The community grows. Expenses now top $3,000 monthly while revenue sits below $1,000. Donations and merchandise sales help bridge the gap. The post urges supporters to contribute so the project can sustain its pace.
Big news centers on funding. Redox secured a €50,000 grant from the NGI Zero Commons fund and NLnet. The “Virtualized Redox” proposal targets running the OS as a web server and microservices runtime inside rust-vmm and QEMU containers. Four developers will split time over the next year. Anhad Singh, auronandace, MJ and Ron Williams lead the effort. Kernel help comes from 4lDO2.
Work splits into clear buckets. Networking gets attention with better virtio-net, RSS, TCP/IP offloads and performance tweaks to the smoltcp-based stack. RedoxFS sees concurrency and capability improvements. Virtiofs support arrives for safe host file sharing. WASM and WASI microservices enter the picture through wasmtime. POSIX compliance advances to ease server application ports. An extra €11,500 backs capability-based security by Ibuki and 4lDO2. Details appear in the NLnet announcement of 67 new projects.
Separate from the grant, Ibuki Omatsu delivered a major kernel change. File descriptor allocation moved to userspace. The shift cuts race conditions. It trims kernel complexity and attack surface. Code unification shrinks the codebase. Maintenance costs drop. Small change. Large impact.
Jeremy Soller added USB gamepad support. Generic and Xbox layouts work. Testing covered Mednafen, Neverball, Neverputt and sm64ex. SDL2 games and emulators can use the devices today. He also fixed xHCI endpoint handling with Rust newtypes. That broadens compatibility for more USB hardware. Practical for users who want to plug in controllers without hassle.
Desktop progress stands out. Wildan Mubarok ported the GTK 3 GDK backend to Orbital. Performance rises. Orbital-specific bugs fall. X11 overhead disappears. The approach mirrors earlier SDL2 and Mesa3D ports. Only GTK 3 demos run for now. Yet the foundation sits ready for wider adoption. He also added per-window fractional scaling. High-DPI displays benefit. Support currently limits to GTK 3 windows. Plans exist to extend it.
Ports continue. Wildan Mubarok and Ribbon brought Tcl to Redox. The same contributor updated Flycast to version 2.6. Jeremy Soller started the emulator port long ago. Lingering bugs and poor performance slowed it. JIT had to be disabled to avoid crashes. Resident Evil titles and a JVM demo now reach about 15 frames per second. Not fast. Still, the emulator runs. Ribbon tweaked workarounds.
Scheduling work ties back to the Redox Summer of Code. Akshit Gaur implemented the EEVDF scheduler. It replaced an earlier Deficit Weighted Round Robin version. The new algorithm distributes CPU time with greater fairness and stability. Pixelcannon demo performance jumped roughly 200 frames per second before optimization. Gaur began tuning it in June. His May 30 project post on the Redox site outlines the gains. Ratios improve dramatically under load compared with the prior scheduler.
Performance profiling crossed kernel and userspace boundaries. 4lDO2 built mixed-mode support. Flamegraphs now reveal detailed call stacks with clickable drill-down. Developers gain clearer views into bottlenecks that span protection domains.
Boot reliability improved. Arjache fixed decryption failures for encrypted RedoxFS partitions in the bootloader. Kernel patches from 4lDO2 simplified ACPI code and cleaned up sections. Wildan Mubarok fixed a context-switch memory leak. Bjorn3 tidied driver code.
System-level fixes accumulated. Deadlock prevention in the ACPI driver. POSIX pty handling via new methods and ioctls from Landon Propes. Path handling sped up through reduced allocations. Relibc saw extensive work. 4lDO2 completed migration to a unified SYS_CALL interface. Aadarsh added posix_spawn with fixes from Wildan. Threading, error handling, C++ compatibility and crypt functions all received attention. Marsman, sourceturner, auronandace and others contributed. POSIX compliance moved forward. Many C headers converted to Rust via cbindgen.
Networking advanced with Anhad Singh’s smoltcp update from 0.12 to 0.13.1. RedoxFS file operations run faster after Wildan removed dynamic allocations. Desktop packages now include an xfce4-full meta-package. Applications no longer crash on small Orbital resolutions. COSMIC Editor associations expanded. Jeremy Soller ported Mednaffe, enabled dynamic linking for several titles and updated COSMIC components. Mesa3D Wayland demos, gitoxide, Bash 5.3 and SDL2 2.0.33 arrived or improved.
The build system, documentation and website saw care. Recipes download automatically for easier development. Cookbook crashes fixed. Quickstart page renamed and clarified for new testers. Security docs updated with unsafe Rust and POSIX details. Performance profiling guides refreshed. Porting advice emphasizes latest source trees, README instructions and dependency verification from logs.
Daily images reflect all changes. Desktop and server variants are available. Virtual machine users grab harddrive images. Real hardware testers use livedisk versions. The project maintains Matrix channels for discussion and contributions.
Recent coverage reinforces the report. A New in Linux article from mid-June discussed Rust-based OS updates including Redox ports and performance work, though it focused more on prior months. The official Redox X account highlighted the virtualization project, gamepads and GTK backend on July 8. Board meeting videos from late June touched on budget and native testing but offered no new technical disclosures.
Redox remains a niche effort. Its microkernel design, Rust implementation and capability focus set it apart from Linux. Practical desktop use still lags. Server and container scenarios may arrive sooner given the grant direction. Each month brings tangible steps. Ports accumulate. Kernel shrinks. Compatibility grows. The project balances idealism with pragmatism. Contributors ship code that runs today even if performance sometimes disappoints.
Observers watch to see whether virtualization funding translates into production-grade microservices. Early signs look promising. Networking and filesystem hardening align with container workloads. POSIX gains open more existing software. USB and desktop polish help attract everyday testers. But challenges persist. JIT issues in emulators, limited GUI library support and funding gaps remain.
The team publishes these updates consistently. Transparency helps. Newcomers can follow the roadmap. Veterans spot patterns in contributor focus. Wildan Mubarok drove much of June’s desktop and libc work. 4lDO2 touched kernel, libc and drivers repeatedly. Jeremy Soller kept input and applications moving. The distributed effort scales slowly yet steadily.
Interest in Rust operating systems grows. Redox sits alongside projects like Fuchsia and emerging efforts in the same language. Its Unix-like API eases porting. The microkernel promises stronger isolation. Memory safety comes by design. Those traits appeal to developers wary of C vulnerabilities. Whether Redox carves out a sustainable place depends on continued delivery and community expansion. June’s report suggests the trajectory holds.
WebProNews is an iEntry Publication