kerla
managarm
kerla | managarm | |
---|---|---|
15 | 10 | |
3,310 | 1,311 | |
- | 1.1% | |
0.0 | 9.5 | |
about 1 year ago | 1 day ago | |
Rust | C++ | |
GNU General Public License v3.0 or later | 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.
kerla
-
Tilck – A Tiny Linux-Compatible Kernel
> [..] in kernel mode while retaining the ability to compare how the very same usermode bits run on the Linux kernel as well. That's a unique feature in the realm of educational kernels.
There's also Kerla: https://github.com/nuta/kerla
-
Perfectly balanced
Is he Nuta? https://github.com/nuta/kerla
-
Rustaceans at the Border [Linux Kernel]
> How would that work in reality? Re-use the existing tests to build a new kernel from scratch? Sounds like a very far-out idea that wouldn't help with any of the current problems, but I'm happy to entertain the idea and hear your reasoning here.
While I would tend to agree that a full production replacement would be such a massive undertaking as to be impractical, https://github.com/nuta/kerla does something very like that - Linux userspace ABI on an all-new Rust kernel. (And even at this small scale, I find it mind-blowing that this worked)
- Rust takes a major step forward as Linux's second official language
- Kerla.dev: ¿un Linux hecho con Rust?
- Están haciendo una versión "open source" en Rust del kernel Linux
-
An OS made from Rust other than Redox
https://github.com/nuta/kerla was mentioned not too long ago - a hobby kernel that aims to reimplement the Linux syscall ABI
- Kerla: Monolithic kernel in Rust, aiming for Linux ABI compatibility
- Kerla: A new operating system kernel with Linux binary compatibility written in Rust.
managarm
- RISC-V support (super-duper ultra WIP) by ElectrodeYT · Pull Request #534 · managarm/managarm
-
What are some C++ projects with high quality code that I can read through?
managarm is pretty clean from what I remember.
- The managarm Operating System: an asynch mirokernel OS with Linux compatibility
-
Tilck – A Tiny Linux-Compatible Kernel
Somewhat related, Managarm[0] also attempts to be Linux compatible, but has a microkernel, multiserver design.
0. https://github.com/managarm/managarm
-
Linux Kernel 6.1 LTS Released with Initial Support for the Rust Programming Language
Neat idea. There is some research done on fully async OSes like https://github.com/managarm/managarm
-
Creator of SerenityOS announces new Jakt programming language effort
If you haven't already, I'd hang out with the Managarm crew. Prety friendly, and what they're doing with C++ and async is very cool!
-
In Defense of Async: Function Colors Are Rusty
But well, maybe you should look at Managarm.
-
Managarm development stream VOD 6/11/2021 - Implementing /proc/self
You can find more information on the project on our github page here. It is mostly a hobby project, so me and the other developers like to work on it in our free time.
-
This Month in Rust OSDev (May 2021)
Not hosted on rust-osdev but the Managarm project (an OS that focuses on async and that is primarily written in C++ so far) recently gained a rustc port and ports of some basic utilities written in Rust (ripgrep, exa). Support for Rust drivers is in the works (but still requires adding support for some libraries first that wrap the low-level system call interface).
-
LakeOS: a hobbyist multiserver microkernel OS written in Rust
If you have never seen an async OS, then you must’ve missed Managarm, a fully asynchronous operating system written in c++20. It’s a cool thing to check out, runs on x86_64 (a port to a raspberry pi4 is in progress) and has an extensive userland with various Linux applications running on a custom written libc. In case you’re curious, the repo can be found here: https://github.com/managarm/managarm
What are some alternatives?
tock - A secure embedded operating system for microcontrollers
mlibc - Portable C standard library
redshirt - 🧑🔬 Operating system
WingOS - a little 64bit operating system written in c++ with smp support
axum - Ergonomic and modular web framework built with Tokio, Tower, and Hyper
modern-cpp-tutorial - 📚 Modern C++ Tutorial: C++11/14/17/20 On the Fly | https://changkun.de/modern-cpp/
Rust-for-Linux - Adding support for the Rust language to the Linux kernel.
entt - Gaming meets modern C++ - a fast and reliable entity component system (ECS) and much more
smoltcp - a smol tcp/ip stack
Beef - Beef Programming Language
warp - A super-easy, composable, web server framework for warp speeds.
crystal - The Crystal Programming Language