Supporting Linux kernel development in Rust
I won&#x27;t get tired of repeating the same comment in every topic that suggests Rust to be a great replacement of C in <i>existing projects</i>, that it isn&#x27;t.<p>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 (&quot;one can define a kmalloc_for_rust() symbol containing an un-inlined version&quot;), 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.<p>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].<p>[1] <a href="http:&#x2F;&#x2F;www.ats-lang.org&#x2F;Documents.html#INT2PROGINATS" rel="nofollow">http:&#x2F;&#x2F;www.ats-lang.org&#x2F;Documents.html#INT2PROGINATS</a><p>[2] <a href="https:&#x2F;&#x2F;www.reddit.com&#x2F;r&#x2F;ATS&#x2F;comments&#x2F;ibyczp&#x2F;ats_linux&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.reddit.com&#x2F;r&#x2F;ATS&#x2F;comments&#x2F;ibyczp&#x2F;ats_linux&#x2F;</a><p>[3] <a href="http:&#x2F;&#x2F;git.bejocama.org" rel="nofollow">http:&#x2F;&#x2F;git.bejocama.org</a><p>[4] <a href="http:&#x2F;&#x2F;ats-lang.sourceforge.net&#x2F;DOCUMENT&#x2F;INT2PROGINATS&#x2F;HTML&#x2F;c2016.html" rel="nofollow">http:&#x2F;&#x2F;ats-lang.sourceforge.net&#x2F;DOCUMENT&#x2F;INT2PROGINATS&#x2F;HTML&#x2F;...</a>