Version 0.5 of Redox OS was released yesterday, which includes a new C library written in Rust and images based on new bootloaders for both coreboot and EFI.
It's taken a while since the previous release of Redox OS as they have been focusing their attention on Relibc, a C library implementation written within the Rust programming language. Relibc is now used as the operating system's default C library.
Redox OS 0.5 also includes improvements to its event system, Pthreads support was completed, better support for LLVM and LLVM-using projects like Mesa/LLVMpipe, improvements to EFI, and more.
Some new Rust-written packages for Redox OS include OpenGL wrappers, an audio library, and other additions. Outside of the Rust scope, Redox OS 0.5 adds in SDL2 packages, Cairo, FFmpeg, and many other important software options.
You can find the Redox OS 0.5 release notes here, and can find the 0.5.0 images here.
Previously: Redox OS Exploring Coreboot Payload
Microkernel, Rust-Programmed Redox OS's Devs Slam Linux, Unix, GPL
(Score: 3, Informative) by Apparition on Tuesday March 26 2019, @12:03PM
It's the second article published on Redox OS in a month so I didn't want to be redundant or seem like I'm trying to draw the summary out. But, and forgive me as I know this may seem like a big stretch, you could scroll down to the bottom of the summary and see links to prior Soylent News stories on Redox OS, one of which is titled "Microkernel, Rust-Programmed Redox OS's Devs Slam Linux, Unix, GPL." "Microkernel," "Rust-programmed." Huh. Then, I know this part is shocking, you could click the link to the old article which gives a summary of Redox OS.