7 ms·
I think a fork with a mission to aggressively rewrite the kernel into Rust would be a great experiment. Lessons learned could be applied to the more mainstream
by msgilligan 2y ago
I think a fork with a mission to aggressively rewrite the kernel into Rust would be a great experiment. Lessons learned could be applied to the more mainstream C/Rust kernel(s).
Has anyone done that?
- actinium226 2y agohttps://www.redox-os.org/ https://www.redox-os.org/ It's not a fork of Linux but a ground up effort to write a kernel in Rust. Still they're trying to make it compatible with Linux/BSD
- snvzz 2y agoRust aside, it uses a microkernel, multiserver architecture. And, of course, drivers run in userspace and interact with the system through a clearly defined API. Other systems like this include Robigalia, Lions OS and Genode. They would likely quickly overtake Linux if they got 1% of the resources Linux receives.
- snvzz 2y agoCorrection, where I said Robigalia I meant Managarm. Robigalia is also an effort, but one that hasn't been touched in nearly a decade.
- tatetian16 2y agohttps://github.com/asterinas/asterinas https://github.com/asterinas/asterinas Asterinas is such an experiment. Purely written in Rust and Linux ABI compatible.