#redoxos — Public Fediverse posts

Redox gets GTK3, Tcl

Redox did the develop cools stuff thing again for a month, so we've got progress to talk about. This past month, GTK3 has been ported to Redox, as well as the Tcl programming language. Support for per-window fractional scaling has been added to Orbital, Redox' desktop environment, but it's still relatively limited for now. There's also new USB gamepad support, which already works in quite a few

https://www.osnews.com/story/145500/redox-gets-gtk3-tcl/

#RedoxOS

Redox gets GTK3, Tcl

Redox did the develop cools stuff thing again for a month, so we've got progress to talk about. This past month, GTK3 has been ported to Redox, as well as the Tcl programming language. Support for per-window fractional scaling has been added to Orbital, Redox' desktop environment, but it's still relatively limited for now. There's also new USB gamepad support, which already works in quite a few

https://www.osnews.com/story/145500/redox-gets-gtk3-tcl/

#RedoxOS

Proportional Share Resource Allocation
Algorithm For Real-Time, Time-Shared Systems: A Closer Look

Sarah Barnes Haddix, April 2026

https://sarah-haddix.github.io/assets/files/THESIS-final.pdf

”Now that the Earlist Virtual Deadline First algorithm, or EEVDF, is the default fair scheduler in the #Linux kernel¹, we present expanded examples and explanations for its core concepts and a discussion of the current implementation of the algorithm in Linux.”

¹ And also #RedoxOS
https://www.redox-os.org/news/this-month-260531/

#SchedulingAlgorithm

Proportional Share Resource Allocation
Algorithm For Real-Time, Time-Shared Systems: A Closer Look

Sarah Barnes Haddix, April 2026

https://sarah-haddix.github.io/assets/files/THESIS-final.pdf

”Now that the Earlist Virtual Deadline First algorithm, or EEVDF, is the default fair scheduler in the #Linux kernel¹, we present expanded examples and explanations for its core concepts and a discussion of the current implementation of the algorithm in Linux.”

¹ And also #RedoxOS
https://www.redox-os.org/news/this-month-260531/

#SchedulingAlgorithm

Proportional Share Resource Allocation
Algorithm For Real-Time, Time-Shared Systems: A Closer Look

Sarah Barnes Haddix, April 2026

https://sarah-haddix.github.io/assets/files/THESIS-final.pdf

”Now that the Earlist Virtual Deadline First algorithm, or EEVDF, is the default fair scheduler in the #Linux kernel¹, we present expanded examples and explanations for its core concepts and a discussion of the current implementation of the algorithm in Linux.”

¹ And also #RedoxOS
https://www.redox-os.org/news/this-month-260531/

#SchedulingAlgorithm

Proportional Share Resource Allocation
Algorithm For Real-Time, Time-Shared Systems: A Closer Look

Sarah Barnes Haddix, April 2026

https://sarah-haddix.github.io/assets/files/THESIS-final.pdf

”Now that the Earlist Virtual Deadline First algorithm, or EEVDF, is the default fair scheduler in the #Linux kernel¹, we present expanded examples and explanations for its core concepts and a discussion of the current implementation of the algorithm in Linux.”

¹ And also #RedoxOS
https://www.redox-os.org/news/this-month-260531/

#SchedulingAlgorithm

Xfce ported to Redox OS

Redox progressed another month, and that means a ton of improvements and new features to talk about. The biggest news this past month is that Xfce has been ported to Redox, which offers a better X11 experience than MATE currently does. There's still some bugs but apparently is works quite well. The porting process for the COSMIC desktop environment also progressed, with COSMIC's new Monit

https://www.osnews.com/story/145234/xfce-ported-to-redox-os/

#RedoxOS

Xfce ported to Redox OS

Redox progressed another month, and that means a ton of improvements and new features to talk about. The biggest news this past month is that Xfce has been ported to Redox, which offers a better X11 experience than MATE currently does. There's still some bugs but apparently is works quite well. The porting process for the COSMIC desktop environment also progressed, with COSMIC's new Monit

https://www.osnews.com/story/145234/xfce-ported-to-redox-os/

#RedoxOS

Redox gets partial window pixel updating, tmux, and more

Another month, another progress report, Redox, etc. etc., you know the drill by now. This past month Redox saw improved booting on real hardware by making sure the boot process continues even if certain drivers fail or become blocked. Thanks to some changes on the RISC-V side, running Redox on real RISC-V hardware has also im

https://www.osnews.com/story/144901/redox-gets-partial-window-pixel-updating-tmux-and-more/

#RedoxOS

Redox gets partial window pixel updating, tmux, and more

Another month, another progress report, Redox, etc. etc., you know the drill by now. This past month Redox saw improved booting on real hardware by making sure the boot process continues even if certain drivers fail or become blocked. Thanks to some changes on the RISC-V side, running Redox on real RISC-V hardware has also im

https://www.osnews.com/story/144901/redox-gets-partial-window-pixel-updating-tmux-and-more/

#RedoxOS

Never mind just Linux; this would seem to raise serious issues for any group producing their own kernel without an army of lawyers on staff e.g. *BSD, RedoxOS, Graphene, ReactOS, Haiku, illumos and perhaps even plan9 and operating system textbooks and learning frameworks like FluxOSKit. There is furthermore some significant scariness about packets crossing borders rendering ppl liable for violations of all this when passing through spaces wherein USA agents may apprehend them.

https://youtu.be/SVGw0uY1dsQ

#telix #Linux #BSD #NetBSD #FreeBSD #OpenBSD #RedoxOS #GrapheneOS #ReactOS #HaikuOS #illumos #plan9 #Hurd #FluxOSKit

Never mind just Linux; this would seem to raise serious issues for any group producing their own kernel without an army of lawyers on staff e.g. *BSD, RedoxOS, Graphene, ReactOS, Haiku, illumos and perhaps even plan9 and operating system textbooks and learning frameworks like FluxOSKit. There is furthermore some significant scariness about packets crossing borders rendering ppl liable for violations of all this when passing through spaces wherein USA agents may apprehend them.

https://youtu.be/SVGw0uY1dsQ

#telix #Linux #BSD #NetBSD #FreeBSD #OpenBSD #RedoxOS #GrapheneOS #ReactOS #HaikuOS #illumos #plan9 #Hurd #FluxOSKit

Never mind just Linux; this would seem to raise serious issues for any group producing their own kernel without an army of lawyers on staff e.g. *BSD, RedoxOS, Graphene, ReactOS, Haiku, illumos and perhaps even plan9 and operating system textbooks and learning frameworks like FluxOSKit. There is furthermore some significant scariness about packets crossing borders rendering ppl liable for violations of all this when passing through spaces wherein USA agents may apprehend them.

https://youtu.be/SVGw0uY1dsQ

#telix #Linux #BSD #NetBSD #FreeBSD #OpenBSD #RedoxOS #GrapheneOS #ReactOS #HaikuOS #illumos #plan9 #Hurd #FluxOSKit

Never mind just Linux; this would seem to raise serious issues for any group producing their own kernel without an army of lawyers on staff e.g. *BSD, RedoxOS, Graphene, ReactOS, Haiku, illumos and perhaps even plan9 and operating system textbooks and learning frameworks like FluxOSKit. There is furthermore some significant scariness about packets crossing borders rendering ppl liable for violations of all this when passing through spaces wherein USA agents may apprehend them.

https://youtu.be/SVGw0uY1dsQ

#telix #Linux #BSD #NetBSD #FreeBSD #OpenBSD #RedoxOS #GrapheneOS #ReactOS #HaikuOS #illumos #plan9 #Hurd #FluxOSKit

Never mind just Linux; this would seem to raise serious issues for any group producing their own kernel without an army of lawyers on staff e.g. *BSD, RedoxOS, Graphene, ReactOS, Haiku, illumos and perhaps even plan9 and operating system textbooks and learning frameworks like FluxOSKit. There is furthermore some significant scariness about packets crossing borders rendering ppl liable for violations of all this when passing through spaces wherein USA agents may apprehend them.

https://youtu.be/SVGw0uY1dsQ

#telix #Linux #BSD #NetBSD #FreeBSD #OpenBSD #RedoxOS #GrapheneOS #ReactOS #HaikuOS #illumos #plan9 #Hurd #FluxOSKit

Redox OS dice no ai contributi AI e migliora performance e grafica ⚙️ #Linux #OpenSource #RedoxOS #Rust #AI #LinuxEasy

https://www.linuxeasy.org/redox-os-introduce-una-policy-anti-ai-e-migliora-kernel-scheduler-e-grafica/?utm_source=mastodon&utm_medium=jetpack_social

Redox OS dice no ai contributi AI e migliora performance e grafica ⚙️ #Linux #OpenSource #RedoxOS #Rust #AI #LinuxEasy

https://www.linuxeasy.org/redox-os-introduce-una-policy-anti-ai-e-migliora-kernel-scheduler-e-grafica/?utm_source=mastodon&utm_medium=jetpack_social

Redox OS won't boot on my Thinkpad T530. :blobcatverysad:

I actually got further with Ventoy than with a bare USB key.

#redoxos

#RedoxOS bannit définitivement tout code généré par #IA : contributions détectées = suppression immédiate + exclusion du projet, une politique stricte adoptée aussi par #Fedora, #Gentoo et #LLVM face aux contributions de mauvaise qualité.

#Debian barre la route aux bots et au code des IA génératives.
"sauf relecture humaine substantielle."
Donc pas totalement fermé 🤔

:noai: #NoAI #BanAI #Linux #OpenSource #FLOSS #FOSS #Environnement

https://www.lsdm.live/2026/04/10/redox-os-le-systeme-dexploitation-ecrit-en-rust-interdit-le-code-genere-par-ia/

Redox sees another months of improvements

The months keep coming, and thus, the monthly progress reports keep coming, too, for Redox, the new general purpose operating system written in Rust. This past month, there's been considerable graphics improvements, better deadlock detection in the kernel, improved Unicode support thanks to switching over to ncurses library variant with Unicode support,

https://www.osnews.com/story/144762/redox-sees-another-months-of-improvements/

#RedoxOS

Redox sees another months of improvements

The months keep coming, and thus, the monthly progress reports keep coming, too, for Redox, the new general purpose operating system written in Rust. This past month, there's been considerable graphics improvements, better deadlock detection in the kernel, improved Unicode support thanks to switching over to ncurses library variant with Unicode support,

https://www.osnews.com/story/144762/redox-sees-another-months-of-improvements/

#RedoxOS

🦀 Redox OS — the Rust microkernel OS — has banned all AI/LLM-generated contributions.

Their reasoning:
❌ LLMs produce code that "looks correct" but hides subtle bugs
❌ No chain of accountability for AI-written system code
❌ Legal risk from training data copyright
❌ Erosion of contributor understanding

For OS-level code, this position makes sense. Every line of kernel code has a human who understands it.

Full analysis:
https://newsgroup.site/redox-os-ai-code-ban-llm-policy-2026/

#RedoxOS #Rust #OpenSource #AI #Linux #Privacy

Redox gets new CPU scheduler

Another major improvement in Redox: a brand new scheduler which improves performance under load considerably.

We have replaced the legacy Round Robin scheduler with a Deficit Weighted Round Robin scheduler. Due to this, we finally have a way of assigning different priorities to our Process contexts. When running under light load, you may not notice any difference, but under

https://www.osnews.com/story/144733/redox-gets-new-cpu-scheduler/

#RedoxOS

Redox gets new CPU scheduler

Another major improvement in Redox: a brand new scheduler which improves performance under load considerably.

We have replaced the legacy Round Robin scheduler with a Deficit Weighted Round Robin scheduler. Due to this, we finally have a way of assigning different priorities to our Process contexts. When running under light load, you may not notice any difference, but under

https://www.osnews.com/story/144733/redox-gets-new-cpu-scheduler/

#RedoxOS

🚀 nowości w projekcie #RedoxOS https://redox-os.org/news/

To w sumie jest pierwszy system napisany w RUST , obserwuje go od 2 lat rośnie, może w końcu da się go uruchomić w wirtualce

Istnieją też inne projekty "Rust-only":
#TheseusOS: Eksperymentalny system badający nowe sposoby działania struktur OS.
#Kerla: Jądro systemu napisane w Rust, które próbuje być kompatybilne z binariami Linuxa.
#Tock: System operacyjny czasu rzeczywistego (RTOS) dla internetu rzeczy (IoT) – również w całości w #Rust.

Capability-based security for Redox: namespace and CWD as capabilities

By reimplementing these features using capabilities, we made the kernel simpler by moving complex scheme and namespace management out of it which improved security and stability by reducing the attack surface and possible bugs. At the same time, we gained a means to support more sandboxing feature

https://www.osnews.com/story/144701/capability-based-security-for-redox-namespace-and-cwd-as-capabilities/

#RedoxOS

Capability-based security for Redox: namespace and CWD as capabilities

By reimplementing these features using capabilities, we made the kernel simpler by moving complex scheme and namespace management out of it which improved security and stability by reducing the attack surface and possible bugs. At the same time, we gained a means to support more sandboxing feature

https://www.osnews.com/story/144701/capability-based-security-for-redox-namespace-and-cwd-as-capabilities/

#RedoxOS

Redox bans code regurgitated by “AI”

Redox, the rapidly improving general purpose operating system written in Rust, has amended its contribution policy to explicitly ban code regurgitated by "AI".

Redox OS does not accept contributions generated by LLMs (Large Language Models), sometimes also referred to as "AI". This policy is not open to discussion, any content submitted that is clearly labe

https://www.osnews.com/story/144574/redox-bans-code-regurgitated-by-ai/

#RedoxOS

Redox bans code regurgitated by “AI”

Redox, the rapidly improving general purpose operating system written in Rust, has amended its contribution policy to explicitly ban code regurgitated by "AI".

Redox OS does not accept contributions generated by LLMs (Large Language Models), sometimes also referred to as "AI". This policy is not open to discussion, any content submitted that is clearly labe

https://www.osnews.com/story/144574/redox-bans-code-regurgitated-by-ai/

#RedoxOS

🎉 Redox OS, the hipster operating system nobody asked for, is now proudly enforcing a Certificate of Origin and banning LLMs like it's the 1990s! 🚫📜 Because nothing says "cutting-edge" quite like retro bureaucracy and a firm stance against those pesky large language models. 😏💻
https://gitlab.redox-os.org/redox-os/redox/-/blob/master/CONTRIBUTING.md #RedoxOS #RetroBureaucracy #NoLLMs #HipsterTech #CertificateOfOrigin #HackerNews #ngated

🎉 Redox OS, the hipster operating system nobody asked for, is now proudly enforcing a Certificate of Origin and banning LLMs like it's the 1990s! 🚫📜 Because nothing says "cutting-edge" quite like retro bureaucracy and a firm stance against those pesky large language models. 😏💻
https://gitlab.redox-os.org/redox-os/redox/-/blob/master/CONTRIBUTING.md #RedoxOS #RetroBureaucracy #NoLLMs #HipsterTech #CertificateOfOrigin #HackerNews #ngated

Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

https://gitlab.redox-os.org/redox-os/redox/-/blob/master/CONTRIBUTING.md

#HackerNews #RedoxOS #CertificateOfOrigin #noLLM #policy #OpenSource #Technology #News

Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy

https://gitlab.redox-os.org/redox-os/redox/-/blob/master/CONTRIBUTING.md

#HackerNews #RedoxOS #CertificateOfOrigin #noLLM #policy #OpenSource #Technology #News

@pointlessone @rayk @tomekw There are frameworks in the making aiming for that, more over there are frameworks aiming at that with use of WebAssembly instead of JavbaScript on the browser side. It's just complex problem to crack. Rails is 21 years old.

The point was you're focused on web frameworks ignoring tons of other stuff built from zero within last 5-6 years, including adding #Rust to #Linux Kernel, #RedoxOS, #Cosmic Desktop and embedded ecosystems.

@pointlessone @rayk @tomekw There are frameworks in the making aiming for that, more over there are frameworks aiming at that with use of WebAssembly instead of JavbaScript on the browser side. It's just complex problem to crack. Rails is 21 years old.

The point was you're focused on web frameworks ignoring tons of other stuff built from zero within last 5-6 years, including adding #Rust to #Linux Kernel, #RedoxOS, #Cosmic Desktop and embedded ecosystems.

Redox gets NodeJS, COSMIC’s compositor, and much more

February has been a busy month for Redox, the general purpose operating system written in Rust. For instance, the COSMIC compositor can now run on Redox as a winit window, the first step towards fully porting the compositor from COSMIC to Redox. Similarly, COSMIC Settings now also runs on Redox, albeit with only a very small numbe

https://www.osnews.com/story/144554/redox-gets-nodejs-cosmics-compositor-and-much-more/

#RedoxOS

Redox gets NodeJS, COSMIC’s compositor, and much more

February has been a busy month for Redox, the general purpose operating system written in Rust. For instance, the COSMIC compositor can now run on Redox as a winit window, the first step towards fully porting the compositor from COSMIC to Redox. Similarly, COSMIC Settings now also runs on Redox, albeit with only a very small numbe

https://www.osnews.com/story/144554/redox-gets-nodejs-cosmics-compositor-and-much-more/

#RedoxOS

#RedoxOS: “Sergey Reshetnikov fixed and updated the #HelixEditor which was not working for some time.”

https://www.redox-os.org/news/this-month-260228/

#RedoxOS: “Wildan Mubarok fixed #Nushell which was not working for some time. He also dropped our fork and switched to latest upstream code.”

https://www.redox-os.org/news/this-month-260228/

Eventuell doch ein anderes ISO-Image ausprobieren. #redoxos

Redox OS: The Rust-Built Operating System That Refuses to Be a Hobby Project
https://www.webpronews.com/redox-os-the-rust-built-operating-system-that-refuses-to-be-a-hobby-project/

#RustLang #RedoxOS

Got the Redox OS bootloader booting on my Oneplus 6T. Now to get it to actually find the root partition.

#RedoxOS #Unix #UnixLike

Got the Redox OS bootloader booting on my Oneplus 6T. Now to get it to actually find the root partition.

#RedoxOS #Unix #UnixLike

Got the Redox OS bootloader booting on my Oneplus 6T. Now to get it to actually find the root partition.

#RedoxOS #Unix #UnixLike

Got the Redox OS bootloader booting on my Oneplus 6T. Now to get it to actually find the root partition.

#RedoxOS #Unix #UnixLike

Got the Redox OS bootloader booting on my Oneplus 6T. Now to get it to actually find the root partition.

#RedoxOS #Unix #UnixLike

Ion: Modern System Shell in Rust

https://github.com/redox-os/ion

#HackerNews #Ion #Modern #System #Shell #Rust #RedoxOS #OpenSource

Ion: Modern System Shell in Rust

https://github.com/redox-os/ion

#HackerNews #Ion #Modern #System #Shell #Rust #RedoxOS #OpenSource

Ah yes, #RedoxFS, the #filesystem that discovered the path to #originality by cosplaying as #ZFS and wrapping itself in Rust's warm, self-congratulatory blanket. 🎭🔨 Meanwhile, Redox OS valiantly insists it's new and groundbreaking, as it meticulously reinvents every wheel known to OS design, ensuring no stone is left unturned in its homage to others. 🛞💥
https://doc.redox-os.org/book/redoxfs.html #RedoxOS #Rust #HackerNews #ngated