After reading Drew’s pitch to the rust community to write our own kernel, I’ve searched for “linux abi compatible rust kernel” and found “Asterinas”. Surprised that it is not mentioned here