Theseus VS redox

Theseus OS (https://www.theseus-os.com/) is also an OS written in Rust. It's a safe-language OS and I believe it's the future of the OSes due to its unique features.

I believe that Tock (tockos.org) and Theseus (https://github.com/theseus-os/Theseus) are in this area a bit as well, just from an actual OS perspective.

I don't know much about this area, but it would be wonderful if these could work with the Libre compute boards, like the AM Logic S905X (Lepotato) or the Rock chip, since they're so much cheaper than a Pi.

We could use some help here: https://github.com/theseus-os/Theseus

Relevant, also an OS written in and made possible by Rust: https://www.theseus-os.com/

I think Theseus is to conventional OSes what Rust is to JavaScript.

I wonder if somehow someday Microsoft Windows can be rerooted as something like wine running in user space of a rust os like https://github.com/theseus-os/Theseus

We've been working on porting Theseus OS to aarch64 over the past few months, feel free to browse our code if you need help understanding anything. Theseus is written from scratch entirely in Rust, so it's likely quite relevant to your work. You can probably find all of the aarch64-related commits and issues just by searching "aarch64" on the repo.

I mean, there are several rust kernel/os projects in progress.

One project that's pushing on the boundary of safety and composability is Thesus, which takes language safety to new ground by shifting traditionally OS-level responsibilities like resource management all the way down to typechecks in the language, and also explores a way of updating any core OS component on a live running system. https://github.com/theseus-os/Theseus

There's also KataOS which google just recently announced: https://opensource.googleblog.com/2022/10/announcing-kataos-...

As you note, these things take time, I agree with sibling that none of them are likely to be "enterprise-grade" or "production ready" this decade.

Not to rain on your parade, but you've essentially just described Theseus OS.

Redox is another full fledged OS written in rust by Pop OS developer

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

Even in the noncommercial world, Hurd's gone precisely nowhere. RedoxOS is a toy and had a GUI within a year or so. Brutal got in within two. SerenityOS not only built a GUI but the beginnings of the first greenfield web browser to gain any semblance of modern standards support in the past several decades. Honestly, what's Hurd doing wrong to flounder so hard?

[0] https://github.com/redox-os/redox/releases/tag/0.0.3

[1] https://github.com/brutal-org/brutal/releases

[2] https://serenityos.org/happy/1st/

Ah yes, std, that famous crate that is unusable for systems programming. God forbid anyone do any "systems" programming that uses std.

Operating System: Theseus, Redox

Looks like C++ to me!

And my point is that when you mention OS-es like Mezzano (3k stars on Github, a dozen contributors [1]) and Redox (13k stars, 80 contributors [2]), but don't mention Serenity (18k stars, over 100 contributors [3] (Github limits this view to the top 100)) it seems funny.

[0] https://github.com/SerenityOS/serenity/tree/master/Kernel/Ar...

[1] https://github.com/froggey/Mezzano/graphs/contributors

[2] https://github.com/redox-os/redox/graphs/contributors

[3] https://github.com/SerenityOS/serenity/graphs/contributors

Side note, blog posts may have been quiet but there's still been some commit activity here and there.

>I wish opportunities had been around when I was learning to program.

And yet now, we have plenty of projects and nobody contributing.

https://github.com/redox-os/redox/graphs/contributors

This graph doesn't look so healthy. Projects with one major contributor tend to die the moment that contributor loses interest.

Which leads me to wonder, if rust is so popular, and this is one of the most relevant rust projects in the wild, why is this essentially a single contributor repo? Linus didn't write Linux by himself. Redox is never going to happen with a single developer.

Doesn't anyone want a memory safe OS and micro kernel? What does this say about the demand for memory safe systems languages?

I think the guy behind RedoxOS works for them.

redox os is rust operating system without c , here

RedoxOS, an OS written in Rust A tutorial on making an OS in Rust, complwte with bootable source