←back to thread

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

(github.com)
235 points Klasiaster | 4 comments | 15 Oct 24 12:01 UTC | HN request time: 0s | source
1. tiffanyh ◴[15 Oct 24 18:12 UTC] No.41851369[source]▶
OT: if you're interested in Asterinas, you might also be interested in Redox (entire OS written in Rust).

https://www.redox-os.org/

replies(2): >>41851590 #>>41854346 #
2. metaketa ◴[15 Oct 24 18:29 UTC] No.41851590[source]▶
This is fascinating! Couldn't really find the kernel code but would love to know more about the applicability. I'm curious since seeing the Unikraft release that promised millisecond container boot times
replies(1): >>41851679 #
3. cmiller1 ◴[15 Oct 24 18:37 UTC] No.41851679[source]▶
https://gitlab.redox-os.org/redox-os/kernel/-/tree/master/sr...
4. snvzz ◴[16 Oct 24 00:06 UTC] No.41854346[source]▶
Redox has a proper architecture, aka microkernel multiserver.

Thus it is a much more interesting project.