Hackernews posts about Asterinas

1. Asterinas NixOS (asterinas.github.io)
   2 points by aoli-al 12 days ago | discuss
2. Reading 184 books during South Korean military service (asteriskmag.com)
   2 points by bzectu about 18 hours ago | discuss
3. Asterinas: OS kernel written in Rust and providing Linux-compatible ABI (github.com)
   364 points by Klasiaster about 1 year ago | 224 comments
4. Asterinas: A new Linux-compatible kernel project (lwn.net)
   224 points by howtofly 6 months ago | 75 comments
5. Asterinas: OS kernel written in Rust and providing Linux-compatible ABI (github.com)
   1 points by limoce almost 2 years ago | discuss
6. Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
   9 points by Flundstrom2 6 months ago | 1 comments
7. Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
   4 points by Ar-Curunir 6 months ago | 2 comments
8. Towards Practical Formal Verification for a General-Purpose OS in Rust (asterinas.github.io)
   4 points by lukastyrychtr 10 months ago | discuss
9. Kernel Memory Safety: Mission Accomplished (asterinas.github.io)
   2 points by thunderbong 6 months ago | discuss