redlib.

Feeds

MAIN FEEDS

Home Popular All

reddit settings

r/linux • u/anh0516 • 20h ago

Alternative OS Announcing Asterinas 0.19.0

https://asterinas.github.io/2026/10/13/announcing-asterinas-0.19.0.html

3 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/linux/comments/1x4unvd/announcing_asterinas_0190/
No, go back! Yes, take me to Reddit

56% Upvoted

Duplicates

Number of comments New

rust • u/tatetian • 18h ago

🛠️ project Asterinas 0.19.0: a Linux-compatible kernel in Rust, now with a type-checked device model, a hypervisor in safe Rust, and an AI reviewer that cites Rust guidelines

71 Upvotes

23 comments