Redox OS with Rust gets X11 support!
Redox OS was an independent operating system that was written with Rust to give you performance while ensuring memory safety thanks to Rust and its goals. It’s a microkernel-based general purpose operating system that aims to be Unix-like. Rust is a programming language that aims to be a memory-safe version of C and C++, while being suitable for most applications.
Recently, Redox OS has gotten X11 support and GTK 3 support according to their official blog post. This was done directly in the Orbital display server, which Redox OS internally uses for the GUI to enable user interaction with common applications, such as web browsers. X11 applications can now run on Redox OS using a separate X11 window!
Conceptually, this is similar to how X11 programs run on Wayland on a conventional Linux system using XWayland. Applying the same concept idea to the Orbital display server with X11 applications, you can now run traditional X11 applications.
The DRI backend? Yes! Redox OS also contains this backend to improve rendering performance, and it improves user experience. However, it doesn’t support full graphics acceleration yet, so you can’t run demanding games on it. The Redox OS team expects that this code will become part of their Wayland support.
The GTK 3 toolkit has been ported to Redox OS to allow GTK 3 applications to run on the X11 server. In the same blog post, they’ve even shared how this support worked, using a demo application that uses GTK 3 with the OpenGL support window open. This is to showcase the huge milestone that Redox OS has gone through.
To download Redox OS, please follow the below links:
#Redox OS Seeing More Software Porting, Many Internal Improvements
Chat, what's odds RedoxOS works on this 2015 Macbook? It's struggling a bit much these days and is definitely falling out of vendor OS support...
The #Rust for #Linux debacle should be a wake-up call for accelerating safe OS innovation.
#FreeBSD proves you can reuse huge pieces of Linux, with GPU and WiFi drivers ported in kernel space (LinuxKPI) and USB (input, video capture, etc.) drivers running in userspace (webcamd – RIP Hans ). This all in a relatively sustainable way with a very small group of developers.
What we need to be building is kind of an inverse of R4L, a "Linux for Rust", a common Driver Depenguinator, a successor to webcamd that would port Linux drivers to a common abstraction layer (like embedded-hal but not so embedded) that would be implemented for both Linux/BSD userspace (w/ CUSE, uinput, UIO, udmabuf, /dev/mem, etc.) and various microkernels like #Redox.
That would be an LSP-style "NxM to N+M" moment for OSdev, instantly making microkernel projects a lot more viable in practice.
Spun a RedoxOS VM today to poke it. Looks cool but some stuff was straight up broken, might faff about with the VM settings to see if I can get it in better shape.
#RedoxOS Ends 2024 On A High Note With Dynamic Linking Progress, ifconfig Port
Colleagues have published a new article on #cobaltocenium-containing polymers (well, #polysiloxanes). Our lab has contributed to some #electrochemical characterization. This is also where I realized that, despite the deceptive similarity between ferrocenes and cobaltocenes, the latter are quite capricious, as they prefer #redox reactions in cathodic potential regions. The more challenges, the more interesting the task, I suppose. Anyway, here’s the link: https://doi.org/10.1021/acsapm.4c02238 [ACS / non-OA]
Redox OS 0.9.0 - new release of a Rust based operating system
https://www.redox-os.org/news/release-0.9.0/
Discussions: https://discu.eu/q/https://www.redox-os.org/news/release-0.9.0/
I am beyond excited for this grant proposal from @servo and @redox
https://www.redox-os.org/news/this-month-240731/
> Servo and Redox have partnered for a joint application for funding by @ngisargasso
>
> The proposed project includes porting SpiderMonkey and WebRender to Redox, improvements to Servo’s cross-compilation support, and a written-in-Rust font stack.
YES!
cc @robin and the rest of the Browser Radicals
A paper with a long and tortuous journey has finally found its home. It has been a pleasure to work with all my colleagues at both Freie Universität Berlin and St. Petersburg State University and to put the article together, method by method. All to underline the importance of finding a match in the interactions of the backbone and the #redox species in a polymeric #electrode material, and shown how an assortment of approaches builds up to a nice description of an object.
https://onlinelibrary.wiley.com/share/author/8Q9DACSCJFEZ4CFAYGQC?target=10.1002/marc.202400074