Comment by tiffanyh
1 year ago
OT: if you're interested in Asterinas, you might also be interested in Redox (entire OS written in Rust).
1 year ago
OT: if you're interested in Asterinas, you might also be interested in Redox (entire OS written in Rust).
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.
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
https://gitlab.redox-os.org/redox-os/kernel/-/tree/master/sr...
Redox has a proper architecture, aka microkernel multiserver.
Thus it is a much more interesting project.
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