Hackernews posts about Asterinas

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