Hackernews posts about Asterinas

1. Asterinas: OS kernel written in Rust and providing Linux-compatible ABI (github.com)
   364 points by Klasiaster 11 months ago | 224 comments
2. Asterinas: A new Linux-compatible kernel project (lwn.net)
   224 points by howtofly 3 months ago | 75 comments
3. Asterinas: OS kernel written in Rust and providing Linux-compatible ABI (github.com)
   1 points by limoce over 1 year ago | discuss
4. Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
   9 points by Flundstrom2 3 months ago | 1 comments
5. Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
   4 points by Ar-Curunir 3 months ago | 2 comments
6. Towards Practical Formal Verification for a General-Purpose OS in Rust (asterinas.github.io)
   4 points by lukastyrychtr 7 months ago | discuss
7. Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
   2 points by thunderbong 3 months ago | discuss