4 ms·
OT: if you're interested in Asterinas, you might also be interested in Redox (entire OS written in Rust). https://www.redox-os.org/ https://www.redox-os.org/
by tiffanyh 2y ago
OT: if you're interested in Asterinas, you might also be interested in Redox (entire OS written in Rust).
https://www.redox-os.org/ https://www.redox-os.org/
- metaketa 2y agoThis 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
- cmiller1 2y agohttps://gitlab.redox-os.org/redox-os/kernel/-/tree/master/src?ref_type=heads https://gitlab.redox-os.org/redox-os/kernel/-/tree/master/sr...
- snvzz 2y agoRedox has a proper architecture, aka microkernel multiserver. Thus it is a much more interesting project.
- apatheticonion 2y agoTo 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
- DoctorOW 2y agoI 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.