I assume by "Linux-compatible" you mean "compatible with the Linux ABI" and therefore able to run Linux binaries.
Several Rust kernel projects that implement the Linux ABI have shown up on HN.
Out of them, only https://github.com/asterinas/asterinas seems to still be going.
Its initial commit was in May 2022, and the latest was today.
As far as I know, Redox doesn't implement the Linux ABI; it aims for source compatibility.
👤 cies
Did you try a google search?
Redox is mentioned. There are other projects but afaik they've stalled. The first few hits with google contain links to their project pages.