4 ms·Has anyone tried c2rust on the Linux kernel? Does it provide any positive results?by joshlk 6y agoHas anyone tried c2rust on the Linux kernel? Does it provide any positive results?