Asterinas linux abi compatible OS core in Rust (asterinas.github.io)
from fil@programming.dev to rust@programming.dev on 05 Sep 2024 13:57
https://programming.dev/post/19017950

After reading Drew’s pitch to the rust community to write our own kernel, I’ve searched for “linux abi compatible rust kernel” and found “Asterinas”. Surprised that it is not mentioned here

#rust

threaded - newest

onlinepersona@programming.dev on 06 Sep 2024 21:04 next collapse

Oh wow… This might be what the rust in Linux people need to switch to. Fuck all the LKML bullshit, fuck mailinglists, fuck C, fuck the shitty tooling and hodgepodge of languages. This looks amazing. Seriously, cargo run and the kernel starts up in a VM? How friggin cool is that?

Wow…

Anti Commercial-AI license

SQkwax5cJJ2N9b@programming.dev on 15 Sep 2024 06:03 collapse

The GPL is the kernels biggest feature, but this uses MPL, which doesnt protect the user at all.

fruitycoder@sh.itjust.works on 07 Sep 2024 01:38 next collapse

The project looks amazing! It looks like its initial use case maybe closer to SEL4 in the trusted computing space but if it can support containers I’m pumped to try and get RKE2 running on it.

The thought put into DevX really is the nicest part to me though.

FizzyOrange@programming.dev on 07 Sep 2024 13:23 collapse

Looks interesting. Linux ABI compatibility is a herculean task though. Probably on the order of writing a web browser or a MS Word compatible word processor.