New ask Hacker News story: Ask HN: Is there currently a Linux compatible kernel being written in Rust?

Ask HN: Is there currently a Linux compatible kernel being written in Rust?
5 by John23832 | 3 comments on Hacker News.
Given all the brouhaha surrounding the stonewalling of efforts to support rust in the Linux kernel, are there any alternatives being written in rust?