←back to thread

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

(github.com)
364 points Klasiaster | 1 comments | 15 Oct 24 12:01 UTC | HN request time: 0.201s | source
1. pjmlp ◴[16 Oct 24 07:44 UTC] No.41856581[source]▶
Besides all examples, Microsoft is now using TockOS for Pluton firmware, another Rust based OS.

https://tockos.org/