home.social

#redoxos — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #redoxos, aggregated by home.social.

  1. 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

    osnews.com/story/145500/redox-

    #RedoxOS

  2. 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

    osnews.com/story/145500/redox-

    #RedoxOS

  3. 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

    osnews.com/story/145500/redox-

  4. 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

    osnews.com/story/145500/redox-

    #RedoxOS

  5. 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

    osnews.com/story/145500/redox-

    #RedoxOS

  6. ¿Conoces Redox OS? 🦀💻 Es un SO innovador creado desde cero:

    🔹 Escrito 100% en Rust: Evita el 70% de fallos de seguridad en memoria.
    🔹 Microkernel puro: Si un driver falla, no colapsa el sistema.
    🔹 Avanzado: ¡Ya es capaz de compilar su propio código fuente!

    Aún está en desarrollo, pero es el futuro de los sistemas operativos seguros. 🚀

    #RedoxOS #RustLang #SistemasOperativos #Microkernel #Tech #OpenSource

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

    Sarah Barnes Haddix, April 2026

    sarah-haddix.github.io/assets/

    ”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
    redox-os.org/news/this-month-2

    #SchedulingAlgorithm

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

    Sarah Barnes Haddix, April 2026

    sarah-haddix.github.io/assets/

    ”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
    redox-os.org/news/this-month-2

    #SchedulingAlgorithm

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

    Sarah Barnes Haddix, April 2026

    sarah-haddix.github.io/assets/

    ”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
    redox-os.org/news/this-month-2

    #SchedulingAlgorithm

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

    Sarah Barnes Haddix, April 2026

    sarah-haddix.github.io/assets/

    ”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
    redox-os.org/news/this-month-2

    #SchedulingAlgorithm

  11. 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

    osnews.com/story/145234/xfce-p

    #RedoxOS

  12. 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

    osnews.com/story/145234/xfce-p

    #RedoxOS

  13. 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

    osnews.com/story/145234/xfce-p

  14. 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

    osnews.com/story/145234/xfce-p

    #RedoxOS

  15. 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

    osnews.com/story/145234/xfce-p

    #RedoxOS

  16. "AI Policy

    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 labelled as LLM-generated (including issues, merge requests, and merge request descriptions) will be immediately closed, and any attempt to bypass this policy will result in a ban from the project."
    gitlab.redox-os.org/redox-os/r

    redox-os.org/

    #redoxos

  17. 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

    osnews.com/story/144901/redox-

    #RedoxOS

  18. 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

    osnews.com/story/144901/redox-

    #RedoxOS

  19. 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

    osnews.com/story/144901/redox-

  20. 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

    osnews.com/story/144901/redox-

    #RedoxOS

  21. 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

    osnews.com/story/144901/redox-

    #RedoxOS

  22. 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.

    youtu.be/SVGw0uY1dsQ

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

  23. 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.

    youtu.be/SVGw0uY1dsQ

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

  24. 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.

    youtu.be/SVGw0uY1dsQ

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

  25. 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.

    youtu.be/SVGw0uY1dsQ

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

  26. 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.

    youtu.be/SVGw0uY1dsQ

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

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

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

    #redoxos

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

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

    #redoxos

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

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

    #redoxos

  30. #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

    lsdm.live/2026/04/10/redox-os-

  31. #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

    lsdm.live/2026/04/10/redox-os-

  32. #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

    lsdm.live/2026/04/10/redox-os-

  33. 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,

    osnews.com/story/144762/redox-

    #RedoxOS

  34. 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,

    osnews.com/story/144762/redox-

    #RedoxOS

  35. 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,

    osnews.com/story/144762/redox-

  36. 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,

    osnews.com/story/144762/redox-

    #RedoxOS

  37. 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,

    osnews.com/story/144762/redox-

    #RedoxOS

  38. 🦀 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:
    newsgroup.site/redox-os-ai-cod

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

  39. 🦀 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:
    newsgroup.site/redox-os-ai-cod

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

  40. 🦀 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:
    newsgroup.site/redox-os-ai-cod

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

  41. 🦀 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:
    newsgroup.site/redox-os-ai-cod

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

  42. 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

    osnews.com/story/144733/redox-

    #RedoxOS

  43. 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

    osnews.com/story/144733/redox-

    #RedoxOS

  44. 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

    osnews.com/story/144733/redox-

  45. 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

    osnews.com/story/144733/redox-

    #RedoxOS