(github.com)

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).

replies(3): >>41851590 #>>41854346 #>>41863543 #

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]▶

>>41851590 #

https://gitlab.redox-os.org/redox-os/kernel/-/tree/master/sr...

4. snvzz ◴[16 Oct 24 00:06 UTC] No.41854346[source]▶

>>41851369 (TP) #

Redox has a proper architecture, aka microkernel multiserver.

Thus it is a much more interesting project.

replies(1): >>41876028 #

5. DoctorOW ◴[16 Oct 24 20:32 UTC] No.41863543[source]▶

>>41851369 (TP) #

I love Redox as a project because while it still has a massive ways to go, it's the closest to being a new OS/Kernel that has the potential to make it to a viable daily driver. Windows/MacOS/Unix/Linux are all incredibly old by software standards and Redox is bringing some cool design decisions.

6. apatheticonion ◴[18 Oct 24 03:05 UTC] No.41876028[source]▶

>>41854346 #

To be fair Aester is just a monolithic kernel that philosophically quarantines unsafe code to the lowest level of the kernel.

You still have kernel modules for microkernel-like functionality

↑

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