Ask HN: Is there currently a Linux compatible kernel being written in Rust?

Given all the brouhaha surrounding the stonewalling of efforts to support rust in the Linux kernel, are there any alternatives being written in rust?