←back to thread

Asterinas: OS kernel written in Rust and providing Linux-compatible ABI

(github.com)
364 points Klasiaster | 2 comments | 15 Oct 24 12:01 UTC | HN request time: 0.421s | source
Show context
havaker ◴[15 Oct 24 21:27 UTC] No.41853298[source]▶
The license choice is explained with the following:

> [...] we accommodate the business need for proprietary kernel modules. Unlike GPL, the MPL permits the linking of MPL-covered files with proprietary code.

Glancing at the readme, it also looks like they are treating it as a big feature:

> Asterinas surpasses Linux in terms of developer friendliness. It empowers kernel developers to [...] choose between releasing their kernel modules as open source or keeping them proprietary, thanks to the flexibility offered by MPL.

Can't wait to glue some proprietary blobs to this new, secure rust kernel /s

replies(1): >>41853449 #
yjftsjthsd-h ◴[15 Oct 24 21:46 UTC] No.41853449[source]▶
I'm curious about the practical aspect: Are they going to freeze a stable driver ABI, or are they going to break proprietary drivers from time to time?
replies(1): >>41854175 #
1. gpm ◴[15 Oct 24 23:30 UTC] No.41854175[source]▶
Considering their OS as a framework approach I would guess they are more likely to expose a stable API than a stable ABI. Which also plays well with the MPL license (source file based) rather than something like the LGPL (~linking based).
replies(1): >>41854229 #
2. throw4950sh06 ◴[15 Oct 24 23:40 UTC] No.41854229[source]▶
This is the most interesting new OS I have seen in many years.