sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Server stats:

599
active users

#redox

0 posts0 participants0 posts today

Generation Identitær mfl. holder sommerfest i Gislev på midtfyn 5/7-25.

"En flok bekymrede fynboer" har hængt advarselsplakater op i lokalområdet og kastet maling på adressen.

Lokalavisen har derefter stillet mikrofon til rådigheden for de to facistiske organisatører.

I artiklen lykkes det Anders Skov Johansen og Mette Marie List, at fremstå som ofre og helt fremmede for højrefacistisk tilknytning.

Læs mere på redox.dk/nyheder/generation-id

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:

#news#Redox#RedoxOS
Continued thread

So I'm thinking about #Asterinas which is a kernel written in #Rust and has #Linux compatible ABI. Having Linux compatibility is a great deal as you get most of the support for Linux for free.

I've messaged on their Zulip asking if Milk V Duo could be a good option for porting. I wonder if they've got an active and vibrant community. I haven't received a reply yet.

There is also #Redox but I don't like licensing my code under MIT. And it's an entire OS and not just a kernel.

If you know a community about OS/kernel development and bare metal development as well, I would appreciate an invite.

#os#osdev#milkv
Replied in thread

@lproven @lobsters Geez, how to address this in less than 500 characters?

In short: There's Redox with the Redox way, and there's Redox C-world compatibility layer. They're aware existing software has to work there for the OS to pick up traction. IMO right way to do.

Write your software in #Rust for #Redox and you'll not be bonded by _old ways_.

I just found something interesting and funny about Redox os.

Its operating system written fully in rust. Right?

Rust is created by oxidation of iron in presence of oxygen, in chemistry such reaction is called redox reaction.

Idk sounds funny to me, wonder if it was intentional @redox
Sorry for @ but I'm actually interested was this intentional? @soller
#tech #chemistry #foss #rust #redox

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.

Ralloc makes use of a global-local model allowing one to allocate or deallocate without locks, synchronization, or atomic writes. This provides reasonable performance, while preserving flexibility and ability to multithread.
#redox