Asterinas: a rust kernel with a linux ABI (asterinas.github.io)

submitted 1 week ago by onlinepersona@programming.dev to c/linux@programming.dev

35 comments fedilink hide all child comments

Linux maintainers are unwilling to get rust into the kernel, so some rust folks decided to start writing a new kernel with same ABI. This allows them to make new architectural decisions. An example being their "frame kernel" (something between a monolithic kernel and a microkernel).

If I may say, it's more legible and the tooling is way better, right off the bat.

you are viewing a single comment's thread
view the rest of the comments

[-] toothbrush@lemmy.blahaj.zone 39 points 1 week ago

I was interested until the website proudly stated that the kernel is not under the GPL, but the weak copyleft MPL. Great, an alternative to the linux kernel for companies to steal, yay...

[-] mmstick@lemmy.world 1 points 6 days ago* (last edited 6 days ago)

In practice, because Rust libraries are always statically-linked, the MPL-2.0 is equivalent to the LGPL in spirit. Meanwhile, because of the static linking restrictions in the LGPL, the LGPL is effectively no different from the GPL. Hence, you're going to find a lot of open source copyleft projects from the Rust ecosystem preferring either GPL or MPL-2.0, where MPL-2.0 is used in libraries where LGPL would have used previously in C projects. Dynamic linking is essentially going the way of the Dodo.

load more comments (21 replies)

this post was submitted on 10 Sep 2024

95 points (92.0% liked)

Linux

4921 readers

303 users here now

A community for everything relating to the linux operating system

Also check out !linux_memes@programming.dev

Original icon base courtesy of lewing@isc.tamu.edu and The GIMP

founded 1 year ago

MODERATORS

Ategon@programming.dev

anzo@programming.dev

dwraf_of_ignorance@programming.dev