hermit-rs
redox
| hermit-rs | redox | |
|---|---|---|
| 3 | 12 | |
| 1,591 | 14,878 | |
| 1.3% | 0.4% | |
| 9.2 | 9.5 | |
| 1 day ago | 3 days ago | |
| Rust | Shell | |
| Apache License 2.0 | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hermit-rs
- Hermit: a Rust-based, lightweight unikernel
-
Mirage โ A programming framework for building type-safe, modular systems
The rough Rust of this is https://github.com/hermit-os/hermit-rs
Though last I looked it wasn't nearly as mature as MirageOS.
-
Fomos: Experimental OS, Built with Rust
This seems to match the definition of a unikernel. Here is another one in Rust: https://github.com/hermit-os/hermit-rs
redox
-
Fomos: Experimental OS, Built with Rust
Redox is another full fledged OS written in rust by Pop OS developer
https://github.com/redox-os/redox
-
GNU/Hurd strikes back: How to use the legendary OS in a (somewhat) practical way
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/
-
Rust is ugly, doesnโt even let you write simple data structures, unsafe rust is not even defined, makes the simplest things so hard to write and did I mention itโs ugly?
Ah yes, std, that famous crate that is unusable for systems programming. God forbid anyone do any "systems" programming that uses std.
-
Planning to make a video on cool Rust apps focused on the end user. Make recommendations!
Operating System: Theseus, Redox
-
The wild world of non-C operating systems
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
-
How far are we from writing Redox on Redox?
Side note, blog posts may have been quiet but there's still been some commit activity here and there.
-
Porting QEMU to RedoxOS
>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?
-
Pop!_OS uses a lot of Rust
I think the guy behind RedoxOS works for them.
-
[ SECURITY ] Linux Is Not More Secure Than Other os
redox os is rust operating system without c , here
-
I Want to start leaning OS development on microcontrollers, any advice?
RedoxOS, an OS written in Rust A tutorial on making an OS in Rust, complwte with bootable source
What are some alternatives?
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
rust-raspberrypi-OS-tutorials - :books: Learn to write an embedded OS in Rust :crab:
nanos - A kernel designed to run one and only one application in a virtualized environment
serenity - The Serenity Operating System ๐
Sapphire - An x86 Operating System in Rust and Assembly
tock - A secure embedded operating system for microcontrollers
Theseus - Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
cli-guidelines - A guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.
stardust-oxide - Rust-based Unikernel
book - The Rust Programming Language
mirage - MirageOS is a library operating system that constructs unikernels
blog_os - Writing an OS in Rust