Supporting Linux kernel development in Rust
I won't get tired of repeating the same comment in every topic that suggests Rust to be a great replacement of C in existing projects, that it isn't.The safety guarantees that Rust provides are neither unique nor complete, and if we discuss the amount of effort necessary for bringing new interfaces like the one this article mentions ("one can define a kmalloc_for_rust() symbol containing an un-inlined version"), we should compare it to other existing solutions, like ATS [1], that are designed to be seamlessly interoperable with C codebases without giving up on the safety side of the argument.Just a week ago there was a link in ATS reddit channel that advertised ATS Linux [2][3] initiative, that may be of great interest for the same people who are interested in bringing more memory sefety to Kernel development, without giving up on existing C interfaces and the toolchain[4].[1] http://www.ats-lang.org/Documents.html#INT2PROGINATS[2] https://www.reddit.com/r/ATS/comments/ibyczp/ats_linux/[3] http://git.bejocama.org[4] http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/...