Ask HN: How would you convert 80% of the Linux kernel to rust? | Hacker News Reader