We talked with Jeremy Soller, the BDFL of Redox OS, a Unix-like Operating System written in Rust, aiming to bring the innovations of Rust to a modern microke...

Very interesting and understandable explanations of low level architecture and filesystems, namespaces, userspace, kernel functions, drivers etc.

Highly recommend!

    • @TMP_NKcYUEoM7kXg4qYe
      -1•1 month ago

      If your point is that it would need some kind of license that would prevent proprietary drivers, then I’m not really sure how would lawyers differentiate between drivers and straight up non-free apps running on it.

      • @[email protected]
        3•1 month ago

        GPL v3 prevents mechanisms that interfere with the ability of the end user to replace the free firmware of a device, like accepting only signed firmwares. It’s an “anti-TiVo” thing. It won’t prevent proprietary drivers, but any device distributed with it must not prevent the user from making their own drivers to replace them.

        There isn’t a real solution that would work for user space drivers. At least not yet. But just like GPL v3 rose from TiVo, if this becomes an issue I’m sure the lawyers of FSF will come up with something, and Linus and a lot of other folk will hate it.

        • @TMP_NKcYUEoM7kXg4qYe
          -1•1 month ago

          Yeah that makes sense but does not really fit with the theme “GPL or bust” since Linux itself does not use v3

            • @TMP_NKcYUEoM7kXg4qYe
              -1•1 month ago

              I am aware. I was just pointing out that Tivotization would be a weird reason for “a bust” when we are in a linux community and Linux itself does not prevent Tivotization.