As far as I understand, the goal of the original post is to be an educational resource.
Redox OS on the other hand is a real OS in Rust, already at a basic useful level: https://www.redox-os.org/
As for Rust modules in the Linux kernel, I expect the barriers there to be primarily political. Other proposals for non-C modules in the main tree have not been very welcomed.
Redox OS on the other hand is a real OS in Rust, already at a basic useful level: https://www.redox-os.org/
As for Rust modules in the Linux kernel, I expect the barriers there to be primarily political. Other proposals for non-C modules in the main tree have not been very welcomed.