kerla
oxide-and-friends
| kerla | oxide-and-friends | |
|---|---|---|
| 15 | 8 | |
| 3,310 | 295 | |
| - | 1.0% | |
| 0.0 | 8.3 | |
| about 1 year ago | 11 days ago | |
| Rust | Rust | |
| GNU General Public License v3.0 or later | Creative Commons Attribution 4.0 |
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.
oxide-and-friends
-
Persistent Democracy: a better way to govern foundations and open source projects?
After listening to the Oxide and Friends episode about the Rust trademark dustup I thought some people in the Rust community might be interested in a concept I've been working on for a while called Persistent Democracy.
- Oxide and Friends: Predictions 2023
- Predictions 2022
- Oxide Builds Servers
-
Oxide at Home: Propolis Says Hello
They've been doing Twitter Spaces for several months now, with recordings and show notes here: https://github.com/oxidecomputer/twitter-spaces Disclosure: I was the main speaker on one of their spaces.
-
Apple and NeXT, 25 Years Ago this week
For anyone interested in the history of NeXT, I highly recommend Randall Stross's "Steve Jobs and the NeXT Big Thing."[0] (And I regret that I may have personally had some role in the current outsized prices of used copies -- my apologies!) We also had a really interesting Twitter Spaces discussion of both the book -- and on NeXT more generally.[1]
[0] https://www.goodreads.com/en/book/show/226316.Steve_Jobs_the...
[1] https://github.com/oxidecomputer/twitter-spaces/blob/master/...
-
Kerla: Monolithic kernel in Rust, aiming for Linux ABI compatibility
Also, where are my manners?! Really glad you're enjoying our Twitter Spaces[0] -- and thank you for the kind words!
[0] https://github.com/oxidecomputer/twitter-spaces
- Rust, Wright's Law, and the Future of Low-Latency Systems
What are some alternatives?
tock - A secure embedded operating system for microcontrollers
fontdue - The fastest font renderer in the world, written in pure rust.
redshirt - 🧑🔬 Operating system
headcrab - A modern Rust debugging library 🦀
axum - Ergonomic and modular web framework built with Tokio, Tower, and Hyper
hubris - A dependently typed programming language, and verification tool
Rust-for-Linux - Adding support for the Rust language to the Linux kernel.
manta - Manta is a scalable HTTP-based object store
smoltcp - a smol tcp/ip stack
omicron - Omicron: Oxide control plane
warp - A super-easy, composable, web server framework for warp speeds.
xous-core - The Xous microkernel